diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 23:24:49 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 23:24:49 +0000 |
commit | cb6b6b19c3b5b342d149fbebe78de0b7a4292017 (patch) | |
tree | 427f7426b31b818306d7daf91aec93b4ecafb4be /INSTALL | |
parent | 71982ce3a125dcb200e39d3975084aff77fb6ec6 (diff) |
Updated.
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 35 |
1 files changed, 29 insertions, 6 deletions
@@ -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 |