diff options
Diffstat (limited to 'etc')
| -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? *) |