| Fri, 13 Apr 2007 21:26:35 +0200 | wenzelm | tuned document (headers, sections, spacing); | file | diff | annotate |
| Wed, 21 Mar 2007 16:06:15 +0100 | krauss | Unified function syntax | file | diff | annotate |
| Fri, 23 Feb 2007 08:39:23 +0100 | haftmann | slightly tuned | file | diff | annotate |
| Thu, 25 Jan 2007 09:32:36 +0100 | haftmann | improved | file | diff | annotate |
| Wed, 27 Dec 2006 19:10:00 +0100 | haftmann | added OCaml code generation (without dictionaries) | file | diff | annotate |
| Mon, 18 Dec 2006 08:21:31 +0100 | haftmann | explicit nonfix declaration for ML "subset" | file | diff | annotate |
| Tue, 28 Nov 2006 11:02:16 +0100 | haftmann | added strict_subset | file | diff | annotate |