4 Commits

Include renames

Author	SHA1	Message	Date
Sylvain Pion	af48d47506	Replace Protect_FPU_rounding<true> pfr(CGAL_FE_TONEAREST) ... by Set_ieee_double_precision.	2008-12-03 21:42:28 +00:00
Andreas Fabri	096bffba4b	Use :Protect_FPU_rounding in order to restore rounding mode	2008-10-17 13:06:01 +00:00
Sylvain Pion	550712455e	Rename Timer to Profiling_tools (subdirectories).	2008-08-22 16:22:41 +00:00
Sylvain Pion	00e0b0e81a	Rename Timer to Profiling_tools (second try).	2008-08-22 16:20:59 +00:00