From 2111db37b99d87dd973996c9df1ce6b99ba56d0c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Oct 1999 15:45:29 +0000
Subject: Updated for new screenshot

---
 html/features.phtml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'html/features.phtml')

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! 
-- 
cgit v1.2.3