From 8a176df12c42ac893f7aabcbb6f5b2ec56ddc491 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 1 Dec 1999 19:36:09 +0000
Subject: Shorten note about imenu.
---
html/download.phtml | 13 +++++++------
1 file changed, 7 insertions(+), 6 deletions(-)
(limited to 'html')
diff --git a/html/download.phtml b/html/download.phtml
index 56f03eed..e0c6fcbd 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -59,12 +59,13 @@ Its use with Proof General is optional.
For FSF Emacs, a version of func-menu.el to get
.
-
I haven't been able to find a recent version of this that
-works with FSF Emacs, I'd be grateful if anyone can send me
-a pointer or a hacked version.
-(Alternatively, the package imenu.el which ships with XEmacs
-and FSF Emacs may be a suitable replacement, so I'd be grateful if
-anyone sent me patches to use that instead of func-menu).
+
I can't find a version of this that
+works with current FSF Emacs releases. I'd be grateful
+for a pointer to one. (Alternatively, the package
+imenu.el may be a suitable replacement,
+and it ships with both Emacs. Perhaps
+somebody could contribute patches to use that
+instead of func-menu).
Proof General works fine without this feature.
--
cgit v1.2.3