| Wed, 19 Dec 2007 23:49:28 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Wed, 19 Dec 2007 23:42:20 +0100 | wenzelm | tuned RandomWord signature; | file | diff | annotate |
| Wed, 19 Dec 2007 23:06:14 +0100 | wenzelm | Simple generator for pseudo-random numbers, using unboxed word arithmetic only. | file | diff | annotate |