From f250f29abdfdfa10566762feabb5be8b2d843f7d Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 15 Sep 2005 21:54:18 +0000
Subject: added note for large x-symbols; added proof-shell-unicode;

---
 CHANGES | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index 74010abf..3d655a04 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,7 +4,14 @@ See also etc/release-log.txt for minor patches.
 
 * Summary of Changes for Proof General 3.6 from 3.5
 
-*** Large X-Symbol fonts added, courtesy  of Clemens Ballarin
+*** Large X-Symbol fonts added, courtesy of Clemens Ballarin
+
+May use option -f 18 or -f 24 of the Isabelle interface wrapper.
+
+*** UTF-8 support for 8-bit clean provers
+
+See proof-shell-unicode (default nil), or option -U of the Isabelle
+interface wrapper.
 
 *** Improved compatibility with Coq 8
 
-- 
cgit v1.2.3