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>
31 <p>Matita is available as a multi-user web application running remotely
34 <p><a href="http://pandemia.helm.cs.unibo.it/register.html">Register</a> now
35 to gain access to Matitaweb.</p>
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
41 <!--#include virtual="bottombar.shtml" -->