From 96335f026b0a5295a986a5ebde3d7e850db0a1cc Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 19 May 2004 19:55:59 +0000
Subject: Mention sumo

---
 INSTALL | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index 38836e28..f0065e0e 100644
--- a/INSTALL
+++ b/INSTALL
@@ -142,6 +142,9 @@ packages that you need to use Proof General:
   * outline
   * func-menu or imenu
 
+If in doubt and you have the option, select the aptly named XEmacs
+"sumo" package.
+
 The X Symbol package is now bundled with Proof General so you
 do not need to download it separately.
 
-- 
cgit v1.2.3