Fri, 19 Aug 1994 15:35:38 +0200 | wenzelm | replaced id, var, tid, tvar by idT, varT, tidT, tvarT; | file | diff | annotate |
Wed, 18 May 1994 15:24:39 +0200 | wenzelm | extended signature SCANNER by some basic scanners and type lexicon; | 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:21:26 +0100 | wenzelm | MAJOR INTERNAL CHANGE: extend and merge operations of syntax tables | file | diff | annotate |
Mon, 29 Nov 1993 12:27:29 +0100 | wenzelm | added SCANNER; | file | diff | annotate |
Mon, 04 Oct 1993 15:30:49 +0100 | wenzelm | lots of internal cleaning and tuning; | file | diff | annotate |
Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |