diff options
Diffstat (limited to 'html/features.phtml')
| -rw-r--r-- | html/features.phtml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/html/features.phtml b/html/features.phtml index 3e5e4c55..4dc01cef 100644 --- a/html/features.phtml +++ b/html/features.phtml @@ -66,9 +66,10 @@ assistant, and you'd like some of the following features: </dd> <?php dt("Toolbar.") ?> <dd> - Proof General has a toolbar with buttons for starting a proof, - manoeuvring in the proof script, restarting the prover - and saving a proof. + Proof General has a toolbar with buttons for examining + the proof state, starting a proof, manoeuvring in the proof script, + restarting the prover, saving a proof, searching for a theorem, + issuing a command, interrupting the assistant, and getting help. <p> Using the toolbar, you can replay proofs without knowing any low-level commands of the proof assistant or any Emacs hot-keys! |