diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.phtml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/html/download.phtml b/html/download.phtml index 8347ed09..56f03eed 100644 --- a/html/download.phtml +++ b/html/download.phtml @@ -62,6 +62,10 @@ For FSF Emacs, a version of <tt>func-menu.el</tt> to get <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> Proof General works fine without this feature. </ul> <p> |