From 9f610fe332075f2de87dafc8f2a6528ca80ab994 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 29 Sep 2000 18:06:23 +0000 Subject: Note about packages needed --- INSTALL | 23 ++++++----------------- 1 file changed, 6 insertions(+), 17 deletions(-) diff --git a/INSTALL b/INSTALL index bed6696a..50829884 100644 --- a/INSTALL +++ b/INSTALL @@ -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 - - - - - ---------------------------------------------------------------------- -- cgit v1.2.3