Call it functions menu, that's its name. Spacing.

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&#8230;
   <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>