Thu, 08 Dec 1994 12:46:25 +0100 | clasohm | changed Pure's grammar and the way types are converted to nonterminals | file | diff | annotate |
Wed, 12 Oct 1994 16:34:00 +0100 | wenzelm | remove _explode, _implode and trfuns; | file | diff | annotate |
Sat, 08 Oct 1994 13:45:40 +0100 | clasohm | changed precedences of _constrain (i.e. "::") | file | diff | annotate |
Tue, 04 Oct 1994 13:02:16 +0100 | clasohm | made major changes to grammar; | file | diff | annotate |
Fri, 19 Aug 1994 15:35:56 +0200 | wenzelm | minor cleanings; | file | diff | annotate |
Thu, 14 Jul 1994 11:37:08 +0200 | wenzelm | changed syntax "(| _ : _ |)" to "OFCLASS(_, _)"; | file | diff | annotate |
Thu, 19 May 1994 16:16:36 +0200 | wenzelm | support for new style mixfix annotations; | file | diff | annotate |