<div class="main">
<h1>Matita Web application</h1>
+ <h2>Matitaweb</h2>
<p>Matita is available as a multi-user web application running remotely
- on our server.</p>
+ on our server. The web app can process the same proof scripts as
+ stand-alone Matita, also adding support for scripts containing HTML-like
+ markup. Several new features are added, including automatic storage of
+ disambiguation and automation hints, allowing a more efficient
+ reprocessing of proofs.</p>
+
+ <p>Every Matitaweb user has a separate space for storing his/her
+ definitions and proofs. The personal copies can then be synchronized with
+ the centralized library for collaborative developments (selected users,
+ currently testing only).</p>
<p><a href="http://pandemia.helm.cs.unibo.it/register.html">Register</a> now
to gain access to Matitaweb.</p>