Thu, 26 May 1994 16:45:08 +0200 | wenzelm | replaced "logic" by logicC; | file | diff | annotate |
Thu, 03 Feb 1994 13:56:44 +0100 | wenzelm | (this is a preliminary release) | file | diff | annotate |
Tue, 21 Dec 1993 16:26:40 +0100 | nipkow | Necessary changes to accomodate type abbreviations. | file | diff | annotate |
Mon, 06 Dec 1993 17:05:10 +0100 | nipkow | added rep_tsig | file | diff | annotate |
Mon, 29 Nov 1993 12:10:17 +0100 | nipkow | added logical_types | file | diff | annotate |
Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |