diff options
Diffstat (limited to 'html/features.html')
| -rw-r--r-- | html/features.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/features.html b/html/features.html index b71ec446..3fde03c4 100644 --- a/html/features.html +++ b/html/features.html @@ -99,7 +99,7 @@ proof assistant to add PBP support.") ?> available on menus; you don't need to know magical key presses for any features. </p> - <?php footnote("Toolbar is available in XEmacs only") ?> + <?php footnote("Toolbar is available not available on GNU Emacs < 21") ?> </dd> </dl><dl> <?php dt("Syntax highlighting","fontlock") ?> |