diff options
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. ----------------- |