From 44c9cf6482f446e74648c0894b2730df7bd01628 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 15 Jul 2005 11:11:00 +0000
Subject: Updated.

---
 INSTALL | 1 +
 1 file changed, 1 insertion(+)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index 6d7562dc..34910c6b 100644
--- a/INSTALL
+++ b/INSTALL
@@ -140,6 +140,7 @@ packages that you need to use Proof General:
   * comint	
   * custom
   * font-lock
+  * xml		[ not yet essential but will be soon ]
 
  OPTIONAL:
   * outline
-- 
cgit v1.2.3