x-symbol support beginnings

1 files 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)