1.1 --- a/src/include/time_measure.h	Tue Apr 27 11:04:35 2004 +0000
     1.2 +++ b/src/include/time_measure.h	Tue Apr 27 11:32:22 2004 +0000
     1.3 @@ -154,16 +154,14 @@
     1.4  
     1.5    ///Prints the time counters in the folloing form:
     1.6    ///
     1.7 -  /// u: XX.XXs s: XX.XXs cu: XX.XXs cs: XX.XXs real: XX.XXs 
     1.8 +  /// <tt>u: XX.XXs s: XX.XXs cu: XX.XXs cs: XX.XXs real: XX.XXs</tt>
     1.9    ///
    1.10    /// where the values are the
    1.11 -  /// - a user cpu time,
    1.12 -  /// - a system cpu time,
    1.13 -  /// - a user cpu time of children,
    1.14 -  /// - a system cpu time of children and
    1.15 -  /// - a real time,
    1.16 -  ///
    1.17 -  ///respectively
    1.18 +  /// \li \c u: user cpu time,
    1.19 +  /// \li \c s: system cpu time,
    1.20 +  /// \li \c cu: user cpu time of children,
    1.21 +  /// \li \c cs: system cpu time of children,
    1.22 +  /// \li \c real: real time.
    1.23    inline std::ostream& operator<<(std::ostream& os,const TimeStamp &t)
    1.24    {
    1.25      long cls = sysconf(_SC_CLK_TCK);