From d9c3d76b3a4d3917d95fd7e64bf1a64b53598c9c Mon Sep 17 00:00:00 2001 From: matitaweb Date: Mon, 9 Jul 2012 12:44:27 +0000 Subject: [PATCH] manual commit --- weblib/test.ma | 22 +++++++++++++++++++--- 1 file changed, 19 insertions(+), 3 deletions(-) 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. * *) - -- 2.39.2