helm/www/matita/matitaweb.shtml

   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">
   4   <head>
   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";
  17           } else {
  18             elt.style.display = "inline";
  19           }
  20         }
  21       }
  22     }
  23   }
  24 </script>
  25   </head>
  26   <body>
  27     <!--#include virtual="menubar.shtml" -->
  28     <div class="main">
  29       <h1>Matita Web application</h1>
  30
  31       <h2>Matitaweb</h2>
  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>
  38
  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>
  43
  44       <p><a href="http://pandemia.helm.cs.unibo.it/register.html">Register</a> now
  45       to gain access to Matitaweb.</p>
  46
  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
  49       in.</p>
  50
  51     <!--#include virtual="bottombar.shtml" -->
  52
  53     </div>
  54   </body>
  55
  56 </html>