diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 18:06:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 18:06:23 +0000 |
| commit | 9f610fe332075f2de87dafc8f2a6528ca80ab994 (patch) | |
| tree | 63aff0d33bdf1d21ba4ea40f5cf41cfe2c9bcdb6 /INSTALL | |
| parent | c8bb81e9f89313c41fb95e0d58ac5e388ce94b1c (diff) | |
Note about packages needed
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 23 |
1 files changed, 6 insertions, 17 deletions
@@ -75,17 +75,19 @@ 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. +you will need to find them. Note that XEmacs is now being unbundled, +so you may need to select packages (or package groups) specially. +These are the packages that you need to use Proof General: ESSENTIAL: * cl-macs * comint * custom - + * font-lock OPTIONAL: - * func-menu.el - * font-lock.el + * outline + * func-menu * X Symbol [ XEmacs only; separate download ] @@ -148,19 +150,6 @@ Notice that the customization mechanism is only available in Emacs 20.x and XEmacs. -XEmacs package requirement (XEmacs 21.1 on) -------------------------------------------- - -XEmacs is now being unbundled. Most likely you have an XEmacs -with the full gamut of packages anyway. If not, these are -the packages that you need to use Proof General: - - xemacs-base - - - - - ---------------------------------------------------------------------- |