From a2c749794b51921685081b81883f13815b2f9d5a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 12:43:33 +0000
Subject: Note about 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 da56ac8a..2342ee10 100644
--- a/x-symbol/README.x-symbol-for-ProofGeneral
+++ b/x-symbol/README.x-symbol-for-ProofGeneral
@@ -11,6 +11,7 @@ Some changes have been made for Proof General, including:
 * 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
+  This is experimental support and has some issues (buffer modification).
 * addition of the string "[Proof General]" to x-symbol-version
 
 
-- 
cgit v1.2.3