Tue, 22 Feb 2000 21:51:25 +0100 | wenzelm | tuned syntax wrapper; | file | diff | annotate |
Sun, 13 Feb 2000 20:52:58 +0100 | wenzelm | attrib: keyword_symid; | file | diff | annotate |
Wed, 05 Jan 2000 11:40:13 +0100 | wenzelm | removed pats; | file | diff | annotate |
Tue, 21 Sep 1999 17:06:49 +0200 | wenzelm | added bang_facts; | file | diff | annotate |
Fri, 16 Apr 1999 17:48:31 +0200 | wenzelm | lifted enum; | file | diff | annotate |
Thu, 19 Nov 1998 11:45:26 +0100 | wenzelm | term_pat vs. prop_pat; | file | diff | annotate |
Tue, 17 Nov 1998 14:10:40 +0100 | wenzelm | removed trace; | file | diff | annotate |
Mon, 16 Nov 1998 11:02:07 +0100 | wenzelm | several args parsers; | file | diff | annotate |
Mon, 09 Nov 1998 15:32:02 +0100 | wenzelm | Concrete argument syntax (for attributes, methods etc.). | file | diff | annotate |