1 files changed, 21 insertions, 2 deletions
diff --git a/INSTALL b/INSTALL
index d3238f93..bed6696a 100644
--- a/INSTALL
+++ b/INSTALL
@@ -41,8 +41,8 @@ via the address below.
 
 ----------------------------------------------------------------------
 
-Notes for Proof General
-=======================
+Detailed installation Notes for Proof General
+=============================================
 
 
 RPM package.
@@ -70,6 +70,25 @@ or else in directory you installled XEmacs in, e.g.
 c:\Program Files\XEmacs\.emacs
 
 
+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.
+
+ ESSENTIAL:
+  * cl-macs
+  * comint	
+  * custom
+    
+
+ OPTIONAL:
+  * func-menu.el
+  * font-lock.el
+  * X Symbol	  [ XEmacs only; separate download ]
+
+
 
 Byte Compilation.
 -----------------