% +------------------------------------------------------------------------+
% | Profiling Tools
% +------------------------------------------------------------------------+
%
%    SYNCRONIZE THIS WITH THE Manual/doc_tex/Miscellany DIRECTORY
%    SYNCRONIZE THIS WITH THE Manual/doc_tex/Miscellany DIRECTORY
%    SYNCRONIZE THIS WITH THE Manual/doc_tex/Miscellany DIRECTORY
%
\input{Profiling_tools_ref/intro}
\input{Profiling_tools_ref/Timer}
\input{Profiling_tools_ref/Real_timer}
\input{Profiling_tools_ref/Memory_sizer}
\input{Profiling_tools_ref/Profile_counter}

%% EOF %%