diff options
author | Makarius Wenzel <makarius@sketis.net> | 2005-09-14 19:30:11 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2005-09-14 19:30:11 +0000 |
commit | 73315164a3d7598fc9419187f22bdb2da8839a66 (patch) | |
tree | 87c179479030abea128bce815299f8511687fb8d /etc/isar | |
parent | bb07601149c925033e849e5ea83eec27643fd645 (diff) |
tuned comment;
Diffstat (limited to 'etc/isar')
-rw-r--r-- | etc/isar/Unicode.thy | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/etc/isar/Unicode.thy b/etc/isar/Unicode.thy index 3b05efe3..0305091b 100644 --- a/etc/isar/Unicode.thy +++ b/etc/isar/Unicode.thy @@ -3,8 +3,6 @@ (* Example theory involving unicode characters (utf-8 encoding) -- both formal and informal ones. - - (Not fully supported, yet.) *) theory Unicode |