1 files changed, 1 insertions, 0 deletions

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