4 Commits

Author	SHA1	Message	Date
Jorrit Herder	0bd61375ad	Miscellaneous small fixes to prettify startup output.	2005-08-02 15:56:24 +00:00
Philip Homburg	f6b0544de9	Fixed prototype of random_update.	2005-07-29 10:16:40 +00:00
Philip Homburg	f8c380c195	Small update to random number generator	2005-07-19 12:16:55 +00:00
Philip Homburg	7d4e914618	Random number generator	2005-07-18 15:40:24 +00:00