| 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
|