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       <p>Matita is available as a multi-user web application running remotely
  32       on our server.</p>
  33
  34       <p><a href="http://pandemia.helm.cs.unibo.it/register.html">Register</a> now
  35       to gain access to Matitaweb.</p>
  36
  37       <p>If you already have a Matitaweb account, <a
  38         href="http://pandemia.helm.cs.unibo.it/login.html">Click here</a> to log
  39       in.</p>
  40
  41     <!--#include virtual="bottombar.shtml" -->
  42
  43     </div>
  44   </body>
  45
  46 </html>