From 7e71b7cad73922de03652ae9e61a13c6d7fc5b46 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 31 Aug 2009 22:03:06 +0000
Subject: Add Emacs 23 warning.

---
 etc/isar/TokensAcid.thy | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'etc/isar')

diff --git a/etc/isar/TokensAcid.thy b/etc/isar/TokensAcid.thy
index a7f146f2..60c4ff06 100644
--- a/etc/isar/TokensAcid.thy
+++ b/etc/isar/TokensAcid.thy
@@ -1,6 +1,10 @@
-(* Some acid tests for token modes in Isabelle
+(* 
+   Some acid tests for token modes in Isabelle
    David Aspinall, 2008-9.
    $Id$
+
+   Note:
+    Unicode Tokens mode works much better in Emacs 23 than 22.
 *)
 
 theory TokensAcid imports Main 
-- 
cgit v1.2.3