From 2a7a29a2e921ca5c677da3c6720f4d11de014847 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 9 Jun 2000 19:28:28 +0000 Subject: Message about packages needed (incomplete) --- INSTALL | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index ea8679ef..d3238f93 100644 --- a/INSTALL +++ b/INSTALL @@ -129,6 +129,17 @@ 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