Thu, 10 Feb 2000 20:54:18 +0100 |
wenzelm |
symid: include single symbolic char;
|
file |
diff |
annotate
|
Thu, 21 Oct 1999 18:44:05 +0200 |
wenzelm |
added is_indent;
|
file |
diff |
annotate
|
Sun, 03 Oct 1999 15:51:38 +0200 |
wenzelm |
added Space, Comment token kinds (keep actual text);
|
file |
diff |
annotate
|
Sat, 04 Sep 1999 21:07:12 +0200 |
wenzelm |
removed text vars;
|
file |
diff |
annotate
|
Fri, 16 Jul 1999 22:26:44 +0200 |
wenzelm |
separate command tokens;
|
file |
diff |
annotate
|
Wed, 30 Jun 1999 12:23:34 +0200 |
wenzelm |
sync token;
|
file |
diff |
annotate
|
Thu, 27 May 1999 20:47:30 +0200 |
wenzelm |
changed {| |} verbatim syntax to {* *} in order to simplify ProofGeneral setup;
|
file |
diff |
annotate
|
Mon, 16 Nov 1998 10:58:18 +0100 |
wenzelm |
replaced is_symid by is_sid;
|
file |
diff |
annotate
|
Mon, 09 Nov 1998 15:32:58 +0100 |
wenzelm |
Outer lexical syntax for Isabelle/Isar.
|
file |
diff |
annotate
|