diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-06-09 19:28:28 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-09 19:28:28 +0000 |
commit | 2a7a29a2e921ca5c677da3c6720f4d11de014847 (patch) | |
tree | 3f7787557a9f3ba34493c57e0568ad2cf4db3f7d /INSTALL | |
parent | 489d2fe1499bac3bd71af691da67bdbbcf57807f (diff) |
Message about packages needed (incomplete)
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -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 + + + |