Laurent Rineau d6d4608ede In CGAL::Profile_timer, use CGAL::Timer instead of CGAL::Real_timer, so ... that the CPU time is computed instead of the sum CPU+system times.		2009-01-26 12:47:26 +00:00
..
doc_tex	remove wrong comment	2008-11-07 08:00:28 +00:00
examples/Profiling_tools	Re-implement to be more threads-friendly (a first step towards thread-safety).	2008-12-04 01:57:33 +00:00
include/CGAL	In CGAL::Profile_timer, use CGAL::Timer instead of CGAL::Real_timer, so	2009-01-26 12:47:26 +00:00
package_info/Profiling_tools	Rename Timer to Profiling_tools.	2008-08-22 16:23:56 +00:00
src/CGAL	…
test/Profiling_tools	Replace Protect_FPU_rounding<true> pfr(CGAL_FE_TONEAREST)	2008-12-03 21:42:28 +00:00