diff options
author | 1999-12-01 19:36:09 +0000 | |
---|---|---|
committer | 1999-12-01 19:36:09 +0000 | |
commit | 8a176df12c42ac893f7aabcbb6f5b2ec56ddc491 (patch) | |
tree | 0fdf1066d4127129b2cd80c9fd3622407fd60ec3 /html | |
parent | 7feb9df3a70667b319874f1b332fa954a320b327 (diff) |
Shorten note about imenu.
Diffstat (limited to 'html')
-rw-r--r-- | html/download.phtml | 13 |
1 files changed, 7 insertions, 6 deletions
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. <li> For FSF Emacs, a version of <tt>func-menu.el</tt> to get <?php link_root("features#funcmenu","function menus") ?>. -<br>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 <tt>imenu.el</tt> 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 <tt>func-menu</tt>). +<br>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 +<tt>imenu.el</tt> may be a suitable replacement, +and it ships with both Emacs. Perhaps +somebody could contribute patches to use that +instead of <tt>func-menu</tt>). <br> Proof General works fine without this feature. </ul> |