lemon/random.cc
2008-07-13 Apply unify-sources.sh to the source tree
2008-01-07 Happy New Year (update the copyright headers)
2008-01-03 Small fixes.
2007-12-21 Port random.h & Co. from svn -r3422 + some cleanups