From 3f0bf7149ad9ad49c7c84566637106485370ef65 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 01:38:14 +0000
Subject: Updated.

---
 isa/README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isa')

diff --git a/isa/README b/isa/README
index 61527cf2..b99be777 100644
--- a/isa/README
+++ b/isa/README
@@ -15,7 +15,7 @@ with dependencies between theories communicated between Isabelle and
 Proof General.  It has a mode for editing theory files taken from
 Isamode.
 
-There is proper support for X Symbol, using the Isabelle print mode
+There is excellent support for X Symbol, using the Isabelle print mode
 for X Symbol tokens.  Many Isabelle theories have X Symbol syntax
 already defined and it's easy to add to your own theories.
 
-- 
cgit v1.2.3