Rename Timer to Profiling_tools.

This commit is contained in:
Sylvain Pion 2008-08-22 16:29:53 +00:00
parent eae803dd08
commit cafc3f6d0e
5 changed files with 9 additions and 11 deletions

View File

@ -1,10 +1,10 @@
\ccUserChapter{Timers, Hash Map, Union-find, Modifiers\label{chapterTimer}}
\ccUserChapter{Profiling tools, Hash Map, Union-find, Modifiers\label{chapterProfiling_tools}}
\label{chap:Miscellany}
\ccChapterAuthor{Lutz Kettner \and Sylvain Pion \and Michael Seel}
\minitoc
\input{Timer/Timer.tex}
\input{Profiling_tools/Profiling_tools.tex}
\input{Hash_map/hash_map.tex}

View File

@ -3,7 +3,7 @@
% SYNCRONIZE THIS WITH THE INDIVIDUAL PACKAGES
% SYNCRONIZE THIS WITH THE INDIVIDUAL PACKAGES
%
\ccRefChapter{Timers, Hash Map, Union-find, Modifiers\label{chap:union_find}}
\ccRefChapter{Profiling tools, Hash Map, Union-find, Modifiers\label{chap:union_find}}
\label{chap:hash_map}
\ccChapterAuthor{Lutz Kettner \and Sylvain Pion \and Michael Seel}

View File

@ -7,12 +7,10 @@
\input{Miscellany_ref/intro.tex}
\input{Hash_map_ref/Handle_hash_function}
\input{Timer_ref/Memory_sizer}
\input{Profiling_tools_ref/Memory_sizer}
\input{Modifier_ref/Modifier_base.tex}
\input{Timer_ref/Real_timer}
\input{Timer_ref/Timer}
\input{Profiling_tools_ref/Real_timer}
\input{Profiling_tools_ref/Timer}
\input{Union_find_ref/Union_find}
\input{Hash_map_ref/Unique_hash_map}
\input{Hash_map_ref/UniqueHashFunction}

View File

@ -1,13 +1,13 @@
% +------------------------------------------------------------------------+
% | CGAL Reference Manual: main.tex
% +------------------------------------------------------------------------+
% | Timer for CGAL
% | Profiling tools for CGAL
% |
% | 04.03.1999 Lutz Kettner
% +------------------------------------------------------------------------+
\ccUserChapter{Benchmark support tools\label{chapterTimer}}
\ccUserChapter{Benchmark support tools\label{chapterProfiling_tools}}
\ccChapterAuthor{Lutz Kettner \and Sylvain Pion}
\input{Timer/Timer}
\input{Profiling_tools/Profiling_tools}
%% EOF %%