diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-05-20 22:26:30 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-05-20 22:26:30 +0000 |
| commit | e733c84bf5c86a58ddd730e29b84d73c55f4334f (patch) | |
| tree | e53b66812b59c0351f06aaf165d2c11e68355f15 /INSTALL | |
| parent | 96335f026b0a5295a986a5ebde3d7e850db0a1cc (diff) | |
Tip about fink xemacs-sumo package
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -122,6 +122,9 @@ His brief summary is: 1. Install X11 or OroborOSX. 2. Install XEmacs, or install GNU Emacs and recompile Proof General. +If you use XEmacs bear in mind the note below (if you are using fink, +install xemacs-sumo-pkg). + Dependency on Other Emacs Packages ---------------------------------- |