diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-10 18:26:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-10 18:26:13 +0000 |
| commit | f82b8659739559220eff75fb330d9f36a94994cc (patch) | |
| tree | 2e4d10a98d0623fcc59a62652ab42779b05531f0 /INSTALL | |
| parent | 546f01c60d012b1ac6503618f7fa4fb892e5a90a (diff) | |
Updated.
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 61 |
1 files changed, 2 insertions, 59 deletions
@@ -1,5 +1,5 @@ -Instructions for installing Proof General -========================================= +Short Instructions for installing Proof General (details below) +=============================================================== Proof General runs on a variety of platforms and with a variety of Emacs versions; see COMPATIBILITY for further notes. @@ -36,9 +36,6 @@ If none of these files help, then contact me via the address below. - - - Detailed installation Notes for Proof General ============================================= @@ -88,60 +85,6 @@ personal Emacs configuration, add this line: to your .emacs file. -Running on Windows ------------------- - -For tips, please see here: - - http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEmacsOnWindows - -We recommend EmacsW32 available at: - - 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: - - (load-file "c:\\ProofGeneral\\generic\\proof-site.el") - -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 -------------------- - -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. - - - - Byte Compilation. ----------------- |