| Thu, 14 Aug 2008 20:29:38 +0200 |
wenzelm |
report antiquotations;
|
file |
diff |
annotate
|
| Thu, 14 Aug 2008 19:52:35 +0200 |
wenzelm |
use SymbolPos.T list directly, instead of encoded SymbolPos.text;
|
file |
diff |
annotate
|
| Tue, 12 Aug 2008 21:27:48 +0200 |
wenzelm |
Symbol.source/OuterLex.source: more explicit do_recover argument;
|
file |
diff |
annotate
|
| Sat, 09 Aug 2008 00:09:34 +0200 |
wenzelm |
tuned SymbolPos interface;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2008 19:21:41 +0200 |
wenzelm |
simplified Antiq: regular SymbolPos.text with position;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2008 13:44:56 +0200 |
wenzelm |
renamed scan_antiquotes to read;
|
file |
diff |
annotate
|
| Wed, 06 Aug 2008 00:10:18 +0200 |
wenzelm |
Antiq: inner vs. outer position;
|
file |
diff |
annotate
|
| Tue, 05 Aug 2008 19:29:08 +0200 |
wenzelm |
moved OuterLex.count here;
|
file |
diff |
annotate
|
| Tue, 24 Jun 2008 19:43:18 +0200 |
wenzelm |
added Open/Close -- checked blocks;
|
file |
diff |
annotate
|
| Mon, 28 Jan 2008 22:27:23 +0100 |
wenzelm |
T.count/counted: improved position handling for token syntax;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2007 19:45:44 +0200 |
wenzelm |
eliminated transform_failure (to avoid critical section for main transactions);
|
file |
diff |
annotate
|
| Wed, 11 Jul 2007 17:47:45 +0200 |
wenzelm |
Symbol.not_eof/sync is superceded by Symbol.is_regular (rules out further control symbols);
|
file |
diff |
annotate
|
| Mon, 09 Jul 2007 23:12:44 +0200 |
wenzelm |
adapted OuterLex/T.source;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2007 22:08:23 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 21 Mar 2006 12:18:15 +0100 |
wenzelm |
avoid polymorphic equality;
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Mon, 10 May 2004 19:26:42 +0200 |
wenzelm |
changed Symbol.beginning;
|
file |
diff |
annotate
|
| Fri, 16 Apr 2004 18:45:56 +0200 |
berghofe |
Replaced quote by Library.quote, since quote now refers to Symbol.quote
|
file |
diff |
annotate
|
| Tue, 12 Feb 2002 20:34:02 +0100 |
wenzelm |
ANTIQUOTE_FAIL;
|
file |
diff |
annotate
|
| Sun, 25 Jun 2000 23:56:47 +0200 |
wenzelm |
Text with antiquotations of inner items (terms, types etc.).
|
file |
diff |
annotate
|