Wed, 12 Oct 1994 16:34:52 +0100 | wenzelm | removed old comment; | file | diff | annotate |
Tue, 04 Oct 1994 13:02:16 +0100 | clasohm | made major changes to grammar; | file | diff | annotate |
Fri, 19 Aug 1994 15:38:18 +0200 | wenzelm | added raw_term_sorts and changed typ_of_term accordingly (part of fix | file | diff | annotate |
Mon, 02 May 1994 12:34:56 +0200 | wenzelm | changed translation of type applications according to new grammar; | 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 |
Thu, 03 Feb 1994 13:59:00 +0100 | wenzelm | minor internal changes; | file | diff | annotate |
Wed, 19 Jan 1994 14:23:18 +0100 | wenzelm | minor internal changes; | 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 |