From adb6b5a032dde8a561877cbd0756bf83222ce4d4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 14 Oct 2009 00:57:37 +0000
Subject: Remove function-menu as promised

---
 doc/ProofGeneral.texi | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'doc/ProofGeneral.texi')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 422b1295..082f7368 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -2558,10 +2558,9 @@ Proof General settings.
 When adding support for a new proof assistant, we suggest that these
 other packages are supported, as a convention.
 
-The packages currently supported are 
+The packages currently supported include
 @code{font-lock}, 
-@code{x-symbol},
-@code{func-menu},
+@code{imenu} and @code{speedbar},
 @code{outline-mode},
 @code{completion},
 and @code{etags}.
-- 
cgit v1.2.3