diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-21 09:46:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-21 09:46:59 +0000 |
| commit | 8bdc045f2d82c165ba88048bcd64dfbf8a46ec36 (patch) | |
| tree | 3c7685f56f6d48c1da2fb129db2f5d84b62fa272 /etc/isar/XSymbolTests.thy | |
| parent | 138d8e4e364fb6e822c87b8a3fbdf1c9fc67b476 (diff) | |
Updated.
Diffstat (limited to 'etc/isar/XSymbolTests.thy')
| -rw-r--r-- | etc/isar/XSymbolTests.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/isar/XSymbolTests.thy b/etc/isar/XSymbolTests.thy index 8862cee2..b03edfe5 100644 --- a/etc/isar/XSymbolTests.thy +++ b/etc/isar/XSymbolTests.thy @@ -8,7 +8,7 @@ theory XSymbolTests = Main: -(* Thu Sep 25 16:26:47 BST 2030. +(* Thu Sep 25 16:26:47 BST 2003. Problem reported by Norbert Schirmer <norbert.schirmer@web.de> Currently, superscript output highlighting seems broken anyway? *) |