| Thu, 01 Feb 2007 20:59:50 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 29 Jan 2007 19:58:14 +0100 | wenzelm | proper simproc_setup; | file | diff | annotate |
| Mon, 22 Jan 2007 00:40:29 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 21 Jan 2007 19:09:36 +0100 | wenzelm | tuned ML setup; | file | diff | annotate |
| Sun, 21 Jan 2007 16:43:47 +0100 | wenzelm | tuned comments | file | diff | annotate |
| Sat, 20 Jan 2007 14:27:46 +0100 | wenzelm | Simple and efficient binary numerals. | file | diff | annotate |