5 Commits

Author	SHA1	Message	Date
Andreas Fabri	4541fe2756	Renamed directory as the alphabetical index of ref pages needs all ref pages to be in the same directory	2008-09-10 07:51:58 +00:00
Andreas Fabri	9db034720f	Include the documentation of the Profiling_tools here	2008-09-09 09:02:31 +00:00
Sylvain Pion	cafc3f6d0e	Rename Timer to Profiling_tools.	2008-08-22 16:29:53 +00:00
Andreas Meyer	2ef009d06a	no more \lcHtml{<h3>alphabetical list of refpages</h3>}	2006-04-09 12:05:34 +00:00
Laurent Saboret	ea6f65bcf5	Move packages to trunk root	2006-02-14 08:58:16 +00:00