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