| Wed, 03 Feb 1999 17:26:53 +0100 |
wenzelm |
tokenize: get exploded args;
|
file |
diff |
annotate
|
| Tue, 17 Nov 1998 14:09:29 +0100 |
wenzelm |
Symbol.space;
|
file |
diff |
annotate
|
| Thu, 02 Jul 1998 17:26:47 +0200 |
wenzelm |
Symbol.beginning;
|
file |
diff |
annotate
|
| Mon, 18 May 1998 17:57:47 +0200 |
wenzelm |
Symbol.stopper;
|
file |
diff |
annotate
|
| Wed, 13 May 1998 12:21:45 +0200 |
wenzelm |
adapted to new Scan.fail_with / Scan.!!;
|
file |
diff |
annotate
|
| Mon, 09 Mar 1998 16:14:15 +0100 |
wenzelm |
adapted to new scanner, baroque chars;
|
file |
diff |
annotate
|
| Fri, 10 Oct 1997 15:48:43 +0200 |
wenzelm |
scan_longid moved to Syntax/lexicon.ML;
|
file |
diff |
annotate
|
| Wed, 29 Jan 1997 15:45:40 +0100 |
wenzelm |
removed warning for unprintable chars in strings (functionality will
|
file |
diff |
annotate
|
| Fri, 13 Dec 1996 17:38:56 +0100 |
wenzelm |
added warning for unprintable chars in strings;
|
file |
diff |
annotate
|
| Mon, 09 Dec 1996 15:14:08 +0100 |
wenzelm |
removed escaping of 8bit chars;
|
file |
diff |
annotate
|
| Mon, 18 Nov 1996 17:32:38 +0100 |
wenzelm |
improved string scanner: converts 8 bit chars to escape sequences;
|
file |
diff |
annotate
|
| Fri, 01 Nov 1996 15:42:40 +0100 |
paulson |
Changes tabs found in .thy files to spaces
|
file |
diff |
annotate
|
| Fri, 16 Feb 1996 18:00:47 +0100 |
paulson |
Elimination of fully-functorial style.
|
file |
diff |
annotate
|
| Tue, 28 Mar 1995 13:13:17 +0200 |
clasohm |
changed string scanner so that newlines ('\n') are allowed and ignored inside
|
file |
diff |
annotate
|
| Mon, 14 Nov 1994 14:47:20 +0100 |
clasohm |
added check for newlines not enclosed by '\' inside strings
|
file |
diff |
annotate
|
| Thu, 19 May 1994 16:25:03 +0200 |
wenzelm |
(replaces Thy/scan.ML)
|
file |
diff |
annotate
|