diff options
| -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> |