+ 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>