Fri, 19 Aug 1994 15:37:24 +0200 |
wenzelm |
removed idT, varT, tidT, tvarT (now in lexicon.ML);
|
file |
diff |
annotate
|
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
|