From 0e276db6d5bbca5d4710e3a7b178dcb3d0215c55 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 18 Jul 2008 23:06:19 +0000
Subject: Updated.

---
 x-symbol/README.x-symbol-for-ProofGeneral | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral
index 64fb760f..e27d8007 100644
--- a/x-symbol/README.x-symbol-for-ProofGeneral
+++ b/x-symbol/README.x-symbol-for-ProofGeneral
@@ -4,7 +4,7 @@ The code in this directory is taken from
 
 This is version 4.5.1-beta (dated 2003-05-11 15:00)
 
-Some changes have been made for Proof General, including:
+Several changes have been made for Proof General, including:
 
 * the addition of 18pt and 24pt fonts, see etc/bigfonts.
   (thanks to Clemens Ballarin).  
@@ -12,6 +12,11 @@ Some changes have been made for Proof General, including:
   (see etc/fonts-ttf) automatically on Mac using Carbon Emacs.
   You need to install isaxsymb1.ttf into Font Book
   This is experimental support and may have some issues.
+* Experimental (not yet working) support for Emacs 23
+* Addition of `x-symbol-image-converter-required' which defaults to nil,
+  to avoid X-Symbol giving warnings when it doesn't find ImageMagick convert.
+  Images aren't used in Proof General, but if you want to use the same
+  X-Symbol in LaTeX, you might want to customize this setting to t.
 * addition of the string "[Proof General]" to x-symbol-version
 
 
-- 
cgit v1.2.3