From 1316f30357ddf0a12ff12221d417962ab8a9acad Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 May 2009 16:20:47 +0000
Subject: Correct Unicode support

---
 isar/README | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/isar/README b/isar/README
index bdd00215..b107675e 100644
--- a/isar/README
+++ b/isar/README
@@ -17,9 +17,9 @@ Isabelle/Isar Proof General has full support for multiple file
 scripting, with dependencies between theories communicated between
 Isabelle and Proof General.  
 
-There is full 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.
+There is full support for Unicode Tokens, 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.
 
 The script `interface' and file 'interface-setup.el' are used
 internally to start Isabelle Proof General via the 'Isabelle' shell
-- 
cgit v1.2.3