diff options
| author | David Aspinall | 1999-10-21 15:45:29 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-21 15:45:29 +0000 |
| commit | 2111db37b99d87dd973996c9df1ce6b99ba56d0c (patch) | |
| tree | a58ac70956615b2432a1f38bf4eb30c818f18ff0 /html/features.phtml | |
| parent | a01581bbc0d8e8170b85a4d18f437c1e090aa57d (diff) | |
Updated for new screenshot
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! |