diff options
Diffstat (limited to 'html/features.phtml')
| -rw-r--r-- | html/features.phtml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/html/features.phtml b/html/features.phtml index d71d97c5..b696ab26 100644 --- a/html/features.phtml +++ b/html/features.phtml @@ -15,7 +15,7 @@ you'd like an interface with the following features: <a href="#toolbar">toolbar and menus</a>, <a href="#fontlock">syntax highlighting</a>, <a href="#xsymbol">real symbols</a>, -<a href="#funcmenu">definitions menu</a>, +<a href="#funcmenu">functions menu</a>, <a href="#tags">tags</a>, and finally, <a href="#generic">adaptability</a>. @@ -114,13 +114,14 @@ If not, read on… <p> <?php footnote("X-Symbol currently works in XEmacs only") ?> </dd> - <a name="funcmenu"><?php dt("Definitions Menu.") ?></a> + <a name="funcmenu"><?php dt("Functions Menu.") ?></a> <dd> A pull-down menu gives easy - access to definitions, declarations and proofs in the current - buffer. + navigations to theorems, definitions, and declarations + proved in the current buffer. <!-- it is in FSF Emacs if you download func-menu.el from somewhere --> <!-- <?php footnote("Definitions menu is available in XEmacs only") ?> --> + <p></p> </dd> <?php dt("Remote proof assistant.") ?> <dd> |