From 6c738c012cbadad206ed385f2cc0cddae02273f1 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sat, 23 Sep 2000 14:30:49 +0000
Subject: Updated

---
 INSTALL | 23 +++++++++++++++++++++--
 1 file changed, 21 insertions(+), 2 deletions(-)

(limited to 'INSTALL')

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.
 -----------------
-- 
cgit v1.2.3