| Fri, 30 May 2014 12:27:51 +0200 | blanchet | tuned whitespace, to make datatype definitions slightly less intimidating | file | diff | annotate |
| Mon, 17 Feb 2014 13:31:42 +0100 | blanchet | renamed 'datatype_new_compat' to 'datatype_compat' | file | diff | annotate |
| Mon, 17 Feb 2014 13:31:42 +0100 | blanchet | renamed 'primrec_new' to 'primrec', overriding the old command (which it still uses as a fallback for old-style datatypes) | file | diff | annotate |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | compile | file | diff | annotate |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | dissolved BNF session | file | diff | annotate |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | moved BNF examples | file | diff | annotate | base |