| Tue, 18 Sep 2007 16:08:00 +0200 | wenzelm | simplified type int (eliminated IntInf.int, integer); | file | diff | annotate |
| Fri, 10 Aug 2007 18:21:25 +0200 | wenzelm | tuned ML bindings; | file | diff | annotate |
| Thu, 17 May 2007 19:49:40 +0200 | haftmann | canonical prefixing of class constants | file | diff | annotate |
| 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 |