From cb6b6b19c3b5b342d149fbebe78de0b7a4292017 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 23:24:49 +0000
Subject: Updated.

---
 INSTALL | 35 +++++++++++++++++++++++++++++------
 1 file changed, 29 insertions(+), 6 deletions(-)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index d008216a..8ffb27de 100644
--- a/INSTALL
+++ b/INSTALL
@@ -93,12 +93,11 @@ Running on Windows
 
 For tips, please see here:
 
-http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEmacsOnWindows
+   http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEmacsOnWindows
 
-Note that Windows compatibility isn't tested by the maintainers.  If
-you discover problems, please send a fix to the address above.
+We recommend EmacsW32 available at:
 
-We recommend EmacsW32 http://www.ourcomments.org/Emacs/EmacsW32.html
+   http://www.ourcomments.org/Emacs/EmacsW32.html
 
 Unpack the Proof General tar or zip file, and rename the folder to
 "ProofGeneral" to remove the version number.  Put a line like this:
@@ -109,13 +108,37 @@ into .emacs.  You should put .emacs in value of HOME if you set that,
 or else in directory you installled Emacs in, e.g.  
 c:\Program Files\Emacs\.emacs
 
+Note that Windows compatibility isn't thoroughly tested by the
+maintainers.  If you discover problems, please send a report and/or
+fix to the address above.
+
+
 
 Running on Mac OS X
 -------------------
 
-Please see here:
+For tips, please see here:
+
+  http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEmacsOnMacOSX
+
+We recommend the 22.X based Carbon Emacs, here:
+
+  http://homepage.mac.com/zenitani/emacs-e.html
+
+This works with X-Symbol using the supplied TrueType font 
+x-symbol/etc/fonts-ttf/isaxsym.ttf, which
+you should install in Font Book.
+
+Note: Emacs.app looks set to become the future supported Mac port of
+GNU Emacs, but being based on GNU Emacs 23, it has recently become
+incompatible with X-Symbol because of API changes.  (A fix would be
+welcome; may be simple).  If you do not care about X-Symbol, or
+can use the Unicode Symbols mode, Emacs.app works just as well.
+
+Note that Mac compatibility isn't thoroughly tested by the
+maintainers.  If you discover problems, please send a report and/or
+fix to the address above.
 
-http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEmacsOnMacOSX
 
 
 
-- 
cgit v1.2.3