1.1 --- a/lemon/random.h	Thu Mar 05 10:13:20 2009 +0000
     1.2 +++ b/lemon/random.h	Sun Mar 29 23:08:20 2009 +0200
     1.3 @@ -603,7 +603,7 @@
     1.4      /// By default, this function calls the \c seedFromFile() member
     1.5      /// function with the <tt>/dev/urandom</tt> file. If it does not success,
     1.6      /// it uses the \c seedFromTime().
     1.7 -    /// \return Currently always true.
     1.8 +    /// \return Currently always \c true.
     1.9      bool seed() {
    1.10  #ifndef WIN32
    1.11        if (seedFromFile("/dev/urandom", 0)) return true;
    1.12 @@ -624,7 +624,7 @@
    1.13      /// entropy).
    1.14      /// \param file The source file
    1.15      /// \param offset The offset, from the file read.
    1.16 -    /// \return True when the seeding successes.
    1.17 +    /// \return \c true when the seeding successes.
    1.18  #ifndef WIN32
    1.19      bool seedFromFile(const std::string& file = "/dev/urandom", int offset = 0)
    1.20  #else
    1.21 @@ -645,7 +645,7 @@
    1.22      /// Seding from process id and time. This function uses the
    1.23      /// current process id and the current time for initialize the
    1.24      /// random sequence.
    1.25 -    /// \return Currently always true.
    1.26 +    /// \return Currently always \c true.
    1.27      bool seedFromTime() {
    1.28  #ifndef WIN32
    1.29        timeval tv;