diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 14:30:49 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 14:30:49 +0000 |
| commit | 6c738c012cbadad206ed385f2cc0cddae02273f1 (patch) | |
| tree | 89f284927e7861370d182370e0271179303fc679 /INSTALL | |
| parent | 91e25fa3f8c227c1b60f871a8877dbcb46f92f82 (diff) | |
Updated
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 23 |
1 files changed, 21 insertions, 2 deletions
@@ -41,8 +41,8 @@ via the address below. ---------------------------------------------------------------------- -Notes for Proof General -======================= +Detailed installation Notes for Proof General +============================================= RPM package. @@ -70,6 +70,25 @@ or else in directory you installled XEmacs in, e.g. c:\Program Files\XEmacs\.emacs +Dependency on Other Emacs Packages +---------------------------------- + +Proof General relies on several other Emacs packages, which are +probably already supplied with your version of Emacs. If not, +you will need to find them. + + ESSENTIAL: + * cl-macs + * comint + * custom + + + OPTIONAL: + * func-menu.el + * font-lock.el + * X Symbol [ XEmacs only; separate download ] + + Byte Compilation. ----------------- |