Wed, 29 Jun 1994 12:01:17 +0200 | clasohm | changed precedence of constrain to [4, 0], 3 | file | diff | annotate |
Tue, 17 May 1994 14:42:34 +0200 | clasohm | fixed a bug in syntax_error, added "Building new grammar" message; | file | diff | annotate |
Wed, 11 May 1994 12:29:34 +0200 | clasohm | changed implode to ^ | file | diff | annotate |
Wed, 11 May 1994 12:14:18 +0200 | clasohm | moved 'filter is_xid' in syn_ext | file | diff | annotate |
Tue, 26 Apr 1994 14:48:41 +0200 | clasohm | made a few cosmetic changes | file | diff | annotate |
Fri, 22 Apr 1994 12:43:53 +0200 | clasohm | changed the way a grammar is generated to allow the new parser to work; | file | diff | annotate |
Wed, 19 Jan 1994 14:27:46 +0100 | wenzelm | contains remaining parts of xgram.ML and extension.ML; | file | diff | annotate |