diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-01-31 18:52:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-01-31 18:52:16 +0000 |
| commit | bbe8da6a59d5afb1dcc73f518c8ebb24603f6bd3 (patch) | |
| tree | a1525f5a2b73cfb454a3ddd31744d65a410e0978 /INSTALL | |
| parent | c098892fb313465dbc5d6d13d0a8cdc1ecc44cd6 (diff) | |
Update for recent releases.
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 13 |
1 files changed, 6 insertions, 7 deletions
@@ -64,8 +64,8 @@ If you have the RPM file, this is the line you should add to your -Running on Windows 95/98/NT ---------------------------- +Running on Windows +------------------ We recommend XEmacs compiled for Windows, see http://www.xemacs.org @@ -78,6 +78,8 @@ into .emacs. You should put .emacs in value of HOME if you set that, or else in directory you installled XEmacs in, e.g. c:\Program Files\XEmacs\.emacs +See also README.windows + Dependency on Other Emacs Packages ---------------------------------- @@ -97,7 +99,7 @@ These are the packages that you need to use Proof General: OPTIONAL: * outline * func-menu - * X Symbol [ XEmacs only; separate download ] + * X Symbol @@ -159,10 +161,7 @@ example, the name of the proof assistant binary). See the menu Proof-General -> Customize -> <Name of Assistant> -and the notes below for more details. - -Notice that the customization mechanism is only available in -Emacs 20.x and XEmacs. +and the manual for more details. |