| Thu, 19 May 1994 13:45:50 +0200 | clasohm | added use_string: string -> unit to execute ML commands passed in a string | changeset | files |
| Thu, 19 May 1994 13:13:27 +0200 | clasohm | lookaheads are now computed faster (during the grammar is built) | changeset | files |
| Wed, 18 May 1994 15:24:39 +0200 | wenzelm | extended signature SCANNER by some basic scanners and type lexicon; | changeset | files |