From 52fee35ff296049a77f9e4c40ad5f46849a161a7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 12:42:18 +0000
Subject: Note about isaxsymb1.ttf

---
 x-symbol/README.x-symbol-for-ProofGeneral | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral
index a75a8dd0..b10a94f3 100644
--- a/x-symbol/README.x-symbol-for-ProofGeneral
+++ b/x-symbol/README.x-symbol-for-ProofGeneral
@@ -4,9 +4,14 @@ The code in this directory is taken from
 
 This is version 4.5.1-beta (dated 2003-05-11 15:00)
 
-No changes have been made for Proof General except the addition of the
-string "[Proof General]" to x-symbol-version and the addition of
-18pt and 24pt fonts [see etc/bigfonts] (thanks to Clemens Ballarin).  
+Some changes have been made for Proof General, including:
+
+* the addition of 18pt and 24pt fonts, see etc/bigfonts.
+  (thanks to Clemens Ballarin).  
+* the addition of a mechanism to use Norbert Voelker's isaxsymb1.ttf 
+  (see etc/fonts-ttf) automatically on Mac using Carbon Emacs.
+* addition of the string "[Proof General]" to x-symbol-version
+
 
 The following rearrangements from the package directory layout have
 been made:
-- 
cgit v1.2.3