From 73315164a3d7598fc9419187f22bdb2da8839a66 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 14 Sep 2005 19:30:11 +0000
Subject: tuned comment;

---
 etc/isar/Unicode.thy | 2 --
 1 file changed, 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
-- 
cgit v1.2.3