3 Commits

Include renames

Author	SHA1	Message	Date
Samuel Hornus	a20549dfe7	Added a little TODO : cache the task_t structure.	2008-09-09 13:24:30 +00:00
Sylvain Pion	a0be560caa	New profiling tool : Profile_branch_counter, that improves the display ... of failure/calls ratios. With the corresponding macro CGAL_BRANCH_PROFILER().	2008-09-08 09:52:37 +00:00
Sylvain Pion	00e0b0e81a	Rename Timer to Profiling_tools (second try).	2008-08-22 16:20:59 +00:00