+(*
+ ||M|| This file is part of HELM, an Hypertextual, Electronic
+ ||A|| Library of Mathematics, developed at the Computer Science
+ ||T|| Department of the University of Bologna, Italy.
+ ||I||
+ ||T||
+ ||A|| This file is distributed under the terms of the
+ \ / GNU General Public License Version 2
+ \ /
+ V_______________________________________________________________ *)
+
+(*
+ * QUICK START GUIDE
+ * =================
+ * MatitaWeb is a web interface for the Matita interactive theorem prover.
+ * Its user interface is composed of two main panes:
+ *
+ * -> the script area, whose content you are currently reading, which is
+ * used to input definitions and theorems to be checked by Matita;
+ * -> a top area with a title bar and a toolbar providing all the
+ * interactive operations apart from proof authoring.
+ *
+ * The toolbar on the top is divided in two sections:
+ * -> the large blue tiles provide the basic operations concerning the
+ * execution and checking of a proof script, including step-by-step
+ * 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.
+ *
+ * If you are new to Matita and/or interactive theorem proving, we have a
+ * tutorial in 10 parts for you. To load it:
+ * 1) click on the "Open script" button in the toolbar (the second circular
+ * button, whose icon shows a folder)
+ * 2) in the dialog box, select the "tutorial/chapter1.ma" script, then
+ * press OK (scripts chapter2.ma ... chapter10.ma contain more advanced
+ * examples that the user is encouraged to try after chapter1.ma)
+ * 3) follow the instructions in the script.
+ *
+ *)