1 <!--#include virtual="xhtml-header.shtml" -->
2 <!-- $Id: documentation.shtml 10623 2010-01-07 22:53:47Z tassi $ -->
3 <html xmlns="http://www.w3.org/1999/xhtml">
5 <title>Matita - Documentation</title>
6 <!--#include virtual="xhtml-meta.shtml" -->
7 <script type="text/javascript">
8 function toggleAbstracts() {
9 abstracts = document.getElementsByTagName("span");
10 len = abstracts.length;
11 for (i=0; i != len-1; i++) {
12 elt = abstracts.item(i);
13 if (elt.hasAttribute("class")) {
14 if (elt.getAttribute("class") == "paper_abstract") {
15 if (elt.style.display != "none") {
16 elt.style.display = "none";
18 elt.style.display = "inline";
27 <!--#include virtual="menubar.shtml" -->
29 <h1>Matita Web application</h1>
32 <p>Matita is available as a multi-user web application running remotely
33 on our server. The web app can process the same proof scripts as
34 stand-alone Matita, also adding support for scripts containing HTML-like
35 markup. Several new features are added, including automatic storage of
36 disambiguation and automation hints, allowing a more efficient
37 reprocessing of proofs.</p>
39 <p>Every Matitaweb user has a separate space for storing his/her
40 definitions and proofs. The personal copies can then be synchronized with
41 the centralized library for collaborative developments (selected users,
42 currently testing only).</p>
44 <p><a href="http://pandemia.helm.cs.unibo.it/register.html">Register</a> now
45 to gain access to Matitaweb.</p>
47 <p>If you already have a Matitaweb account, <a
48 href="http://pandemia.helm.cs.unibo.it/login.html">Click here</a> to log
51 <!--#include virtual="bottombar.shtml" -->