# HG changeset patch
# User alpar
# Date 1083065542 0
# Node ID f92099d27236f95db348d5490cba0253388d759d
# Parent  748791b4bd100fcdfc226fc03e8071475f26765c
doc trimming.

diff -r 748791b4bd10 -r f92099d27236 src/include/time_measure.h
--- a/src/include/time_measure.h	Tue Apr 27 11:04:35 2004 +0000
+++ b/src/include/time_measure.h	Tue Apr 27 11:32:22 2004 +0000
@@ -154,16 +154,14 @@
 
   ///Prints the time counters in the folloing form:
   ///
-  /// u: XX.XXs s: XX.XXs cu: XX.XXs cs: XX.XXs real: XX.XXs 
+  /// <tt>u: XX.XXs s: XX.XXs cu: XX.XXs cs: XX.XXs real: XX.XXs</tt>
   ///
   /// where the values are the
-  /// - a user cpu time,
-  /// - a system cpu time,
-  /// - a user cpu time of children,
-  /// - a system cpu time of children and
-  /// - a real time,
-  ///
-  ///respectively
+  /// \li \c u: user cpu time,
+  /// \li \c s: system cpu time,
+  /// \li \c cu: user cpu time of children,
+  /// \li \c cs: system cpu time of children,
+  /// \li \c real: real time.
   inline std::ostream& operator<<(std::ostream& os,const TimeStamp &t)
   {
     long cls = sysconf(_SC_CLK_TCK);