| Tue, 20 Mar 2007 15:52:40 +0100 | haftmann | added instance for lattice | 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:27 +0100 | haftmann | added code generation syntax for some char combinators | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Sat, 27 May 2006 17:42:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 31 Aug 2005 15:46:37 +0200 | wenzelm | tuned presentation; | file | diff | annotate |
| Fri, 15 Apr 2005 14:14:24 +0200 | nipkow | New | file | diff | annotate |