Tue, 21 Aug 2001 20:09:09 +0200 |
wenzelm |
tuned error message;
|
file |
diff |
annotate
|
Wed, 04 Oct 2000 20:55:57 +0200 |
wenzelm |
added "bracks";
|
file |
diff |
annotate
|
Tue, 19 Sep 2000 23:54:25 +0200 |
wenzelm |
added common args keywords;
|
file |
diff |
annotate
|
Wed, 13 Sep 2000 22:31:19 +0200 |
wenzelm |
Args.addN, Args.delN;
|
file |
diff |
annotate
|
Thu, 07 Sep 2000 20:57:22 +0200 |
wenzelm |
avoid handle_error (better msgs);
|
file |
diff |
annotate
|
Sat, 02 Sep 2000 21:52:33 +0200 |
wenzelm |
added mode parser;
|
file |
diff |
annotate
|
Wed, 30 Aug 2000 17:53:23 +0200 |
wenzelm |
added string_of;
|
file |
diff |
annotate
|
Fri, 04 Aug 2000 23:00:15 +0200 |
wenzelm |
added int;
|
file |
diff |
annotate
|
Thu, 03 Aug 2000 00:41:07 +0200 |
wenzelm |
typ_no_norm;
|
file |
diff |
annotate
|
Sun, 25 Jun 2000 23:48:09 +0200 |
wenzelm |
removed obsolete "{}";
|
file |
diff |
annotate
|
Sun, 21 May 2000 14:33:46 +0200 |
wenzelm |
replaced {{ }} by { };
|
file |
diff |
annotate
|
Fri, 05 May 2000 21:58:44 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Wed, 12 Apr 2000 18:47:03 +0200 |
wenzelm |
Args.name_dummy;
|
file |
diff |
annotate
|
Tue, 21 Mar 2000 17:43:54 +0100 |
wenzelm |
goal_spec: [!];
|
file |
diff |
annotate
|
Mon, 20 Mar 2000 18:47:07 +0100 |
wenzelm |
goal_spec;
|
file |
diff |
annotate
|
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
|