From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Mon, 9 Jul 2012 12:44:27 +0000 (+0000)
Subject: manual commit
X-Git-Tag: make_still_working~1614
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d9c3d76b3a4d3917d95fd7e64bf1a64b53598c9c;p=helm.git

manual commit
---

diff --git a/weblib/test.ma b/weblib/test.ma
index ce8cc2355..63a4794a1 100644
--- a/weblib/test.ma
+++ b/weblib/test.ma
@@ -26,8 +26,25 @@
  *    execution 
  * -> the smaller circular buttons on the right provide script management
  *    operations (create, open, save...)
- * Hover the mouse pointer over these elements to show tooltips explaining 
- * their purpose.
+ * 
+ * img class="topimg intext" src="icons/advance.png" Advance - executes the next step of the script
+ * img class="topimg intext" src="icons/retract.png" Retract - undoes the execution of the last step of the script
+ * img class="topimg intext" src="icons/top.png" Top - undoes the whole script, returning to the start
+ * img class="topimg intext" src="icons/position.png" Play - executes the script until the current position of the cursor
+ * img class="topimg intext" src="icons/bottom.png" Bottom - executes the whole script, until the end (or an error) is reached
+ * 
+ * img class="toolbarimg intext" src="icons/add.png" New script - creates a new empty script, opening a window to specify where
+ * the script should be placed in the library
+ * img class="toolbarimg intext" src="icons/folder.png" Open script - opens an existing script in the library
+ * img class="toolbarimg intext" src="icons/save.png" Save script - saves the current script
+ * img class="toolbarimg intext" src="icons/saveas.png" Save script as - saves the current script with a new name
+ * img class="toolbarimg intext" src="icons/upload.png" Import local script - allows the user to import a script from the local 
+ * machine into the web interface buffer
+ * img class="toolbarimg intext" src="icons/check.png" Commit - commits user changes to the shared library
+ * img class="toolbarimg intext" src="icons/refresh.png" Update - synchronizes the user working copy by updating it with the 
+ * changes in the shared library
+ * img class="toolbarimg intext" src="icons/questionmark.png" Show log - shows the last warnings/error messages (for debugging purposes)
+ * img class="toolbarimg intext" src="icons/delete.png" Delete hyperlinks - removes all hyperlinks from the script
  * 
  * If you are new to Matita and/or interactive theorem proving, we have a 
  * tutorial in 10 parts for you. To load it:
@@ -39,4 +56,3 @@
  * 3) follow the instructions in the script.
  *
  *)
-