Updated.

3 files changed, 37 insertions, 24 deletions

diff --git a/CHANGES b/CHANGES
index a4c7f6d6..df6152cf 100644
--- a/CHANGES
+++ b/CHANGES
@@ -22,15 +22,10 @@ Please report problems and send patches to:
 
 *** X-Symbol support on native Mac Emacs
 
-This works for Carbon Emacs version of GNU Emacs 22.X (available at
-http://homepage.mac.com/zenitani/emacs-e.html), using 
+This works for Carbon Emacs version of GNU Emacs 22.X, using 
 Norbert Voelker's TrueType version of the X-Symbol1 font.
 See x-symbol/README.x-symbol-for-ProofGeneral
 
-Note: this does *not* work with Emacs.app, because that is based
-on GNU Emacs 23, which has recently become incompatible with X-Symbol
-because of API changes.  (Fix would be welcome; may be simple)
-
 *** New input mechanisms for Unicode added (preliminary version)
 
 Maths Menu (by Dave Love) for inserting Unicode math characters.
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
 
 
 
diff --git a/Makefile.devel b/Makefile.devel
index 16e3bd92..d30985cb 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -37,25 +37,20 @@
 ##
 ##
 ## Notes:
-##   Use 'make untag' before re-trying if 'make releaseall' fails and files
-##    are changed. This will make sure tags move to correct files
-##    NB: this may create duplicate ChangeLog entries for current day,
-##    watch out!
+##
 ##   Use 'make releaseclean' if giving up, to remove temp dirs.
 ##
-##   No facility to edit html to make a full release in this Makefile.  
-##   Too much effort for infrequenty used function.  
-##   Must edit download.html by hand, then run 
+##   NB: no facility to edit html to make a full release in this Makefile.  
+##   Edit download.html by hand, then run 
 ##
-##    make releaseall VERSION=2.0
+##      make releaseall VERSION=2.0
 ##
 ##   Or similar to make the required version.
 ##
+##   To customize the tags in case of a re-release with the same
+##   official version:
 ##
-## To customize the tags in case of a re-release with the same official
-## version:
-##
-##    make releaseall VERSION=2.0 FULLVERSION=2.0.1
+##      make releaseall VERSION=2.0 FULLVERSION=2.0.1
 ##
 ##
 ## $Id$