From a9d18a0710cf15ef7e16c99951d27533468ae9a4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 18 Dec 1998 18:08:34 +0000
Subject: x-symbol support beginnings

---
 CHANGES | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index 94c7068f..7418a95a 100644
--- a/CHANGES
+++ b/CHANGES
@@ -3,5 +3,7 @@ Summary of Changes since Proof General 2.0
 
 * Documentation improvements
 
-* Generic settings to add support for x-symbol package.
-  (incomplete).
+* Support for x-symbol package to beautify 
+  input and output with special fonts.
+  Patches for Isabelle provided by David von Oheimb.
+  (incomplete)
-- 
cgit v1.2.3