1 files changed, 3 insertions, 0 deletions
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.