From 37a9843fc41253b21a6f14ec506c3b35dd63151a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 12:42:58 +0000
Subject: Instructions on X-Symb for Mac

---
 x-symbol/README.x-symbol-for-ProofGeneral | 1 +
 1 file changed, 1 insertion(+)

diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral
index b10a94f3..da56ac8a 100644
--- a/x-symbol/README.x-symbol-for-ProofGeneral
+++ b/x-symbol/README.x-symbol-for-ProofGeneral
@@ -10,6 +10,7 @@ Some changes have been made for Proof General, including:
   (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.
+  You need to install isaxsymb1.ttf into Font Book
 * addition of the string "[Proof General]" to x-symbol-version
 
 
-- 
cgit v1.2.3