Message about packages needed (incomplete)

2 files changed, 13 insertions, 0 deletions

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
+
+
+
 
 
 
diff --git a/todo b/todo
index f20dbfe4..d6afffca 100644
--- a/todo
+++ b/todo
@@ -62,6 +62,8 @@ X Solaris bugs: font locking and button enabling.
 **** A make C-c C-l go to bottom of response buffer while output
        is arriving (set-window-point (point)) or similar.
 
+**** A Doc new bits: which XEmacs packages does PG use?  (for INSTALL)
+
 **** A Doc new bits: proof-next-error
 
 **** A Doc new bits: font lock keywords, filename %e, %r.