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 |