--- /dev/null
+<table>
+ <tr>
+ <td>
+ <a class="quiet" href="http://validator.w3.org/check/referer">
+ <img alt="Valid XHTML 1.0!" src="images/valid-xhtml10.png" width="88" height="31" />
+ </a>
+ <a class="quiet" href="http://jigsaw.w3.org/css-validator/">
+ <img alt="Valid CSS" src="images/valid-css.png" width="88" height="31" />
+ </a>
+ </td>
+
+ </tr>
+</table>
+++ /dev/null
-<html>
-<head>
- <title>Matita home page - community</title>
- <link type="text/css" rel="stylesheet" href="style.css"/>
-</head>
-<body>
- <div class="upmenu">
- <a class="upmenu" href=index.html>Matita Home</a>
- <a class="upmenu" href=developers.html>Developers</a>
- <a class="upmenu" href=documentation.html>Documentation</a>
- <a class="upmenu" href=community.html>Community</a>
- <a class="upmenu" href=download.html>Download</a>
- </div>
- <h1><span class="h1">Miki</span></h1>
- <p>
- Miki is not yet ready...
- </p>
-</body>
-</html>
--- /dev/null
+<!--#include virtual="xhtml-header.shtml" -->
+<html>
+ <head>
+ <title>Matita home page - community</title>
+ <link type="text/css" rel="stylesheet" href="style.css"/>
+ </head>
+ <body>
+ <!--#include virtual="menubar.shtml" -->
+ <h1><span class="h1">Miki</span></h1>
+ <p>
+ Miki is not yet ready...
+ </p>
+ <!--#include virtual="bottombar.shtml" -->
+ </body>
+</html>
+++ /dev/null
-<?xml version="1.0" ?>
-<?xml-stylesheet type="text/css" href="style.css" ?>
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
- "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-<html>
-<head>
- <title>Matita home page - developers</title>
- <link type="text/css" rel="stylesheet" href="style.css"/>
-</head>
-<body>
- <div class="upmenu">
- <a class="upmenu" href="index.html">Matita Home</a>
- <a class="upmenu" href="developers.html">Developers</a>
- <a class="upmenu" href="documentation.html">Documentation</a>
- <a class="upmenu" href="community.html">Community</a>
- <a class="upmenu" href="download.html">Download</a>
- </div>
-
- <h1><span class="h1">Current team members</span></h1>
- <ul>
- <li><a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a> - Full Professor</li>
- <li><a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a> - Researcher </li>
- <li><a href="http://www.cs.unibo.it/~tassi">Enrico Tassi</a> - PhD Student</li>
- <li><a href="http://www.cs.unibo.it/~zacchiro">Stefano Zacchiroli</a> - PhD Student</li>
- </ul>
-
- <h1><span class="h1">Former members</span></h1>
- <ul>
- <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a></li>
- <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a></li>
- <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a></li>
- </ul>
-
- <h1><span class="h1">Students, developers and contributors</span></h1>
- <ul>
- <li>Pietro Di Lena</li>
- <li>Michele Galata'</li>
- <li>Alberto Griggio</li>
- <li>Matteo Selmi</li>
- <li>Vincenzo Tamburrelli</li>
- </ul>
- <table>
- <tr>
- <td>
- <a class="quiet" href="http://validator.w3.org/check/referer">
- <img alt="Valid XHTML 1.0!" src="images/valid-xhtml10.png" width="88" height="31" />
- </a>
- <a class="quiet" href="http://jigsaw.w3.org/css-validator/">
- <img alt="Valid CSS" src="images/valid-css.png" width="88" height="31" />
- </a>
- </td>
-
- </tr>
- </table>
- </body>
-</html>
--- /dev/null
+<!--#include virtual="xhtml-header.shtml" -->
+<html>
+ <head>
+ <title>Matita home page - developers</title>
+ <link type="text/css" rel="stylesheet" href="style.css"/>
+ </head>
+ <body>
+ <!--#include virtual="menubar.shtml" -->
+ <h1><span class="h1">Current team members</span></h1>
+ <ul>
+ <li><a href="http://www.cs.unibo.it/~asperti/">Andrea Asperti</a> - Full Professor</li>
+ <li><a href="http://www.cs.unibo.it/~sacerdot/">Claudio Sacerdoti Coen</a> - Researcher </li>
+ <li><a href="http://www.cs.unibo.it/~tassi/">Enrico Tassi</a> - PhD Student</li>
+ <li><a href="http://www.cs.unibo.it/~zacchiro/">Stefano Zacchiroli</a> - PhD Student</li>
+ </ul>
+
+ <h1><span class="h1">Former members</span></h1>
+ <ul>
+ <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a></li>
+ <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a></li>
+ <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a></li>
+ </ul>
+
+ <h1><span class="h1">Students, developers and contributors</span></h1>
+ <ul>
+ <li>Pietro Di Lena</li>
+ <li>Michele Galatá</li>
+ <li>Alberto Griggio</li>
+ <li>Matteo Selmi</li>
+ <li>Vincenzo Tamburrelli</li>
+ </ul>
+ <!--#include virtual="bottombar.shtml" -->
+ </body>
+</html>
+++ /dev/null
-<html>
-<head>
- <title>Matita home page - documentation</title>
- <link type="text/css" rel="stylesheet" href="style.css"/>
-</head>
-<body>
- <div class="upmenu">
- <a class="upmenu" href=index.html>Matita Home</a>
- <a class="upmenu" href=developers.html>Developers</a>
- <a class="upmenu" href=documentation.html>Documentation</a>
- <a class="upmenu" href=community.html>Community</a>
- <a class="upmenu" href=download.html>Download</a>
- </div>
- <h1><span class="h1">User manual</span></h1>
- <p>
- Please be patient...
- </p>
-</body>
-</html>
--- /dev/null
+<!--#include virtual="xhtml-header.shtml" -->
+<html>
+ <head>
+ <title>Matita home page - documentation</title>
+ <link type="text/css" rel="stylesheet" href="style.css"/>
+ </head>
+ <body>
+ <!--#include virtual="menubar.shtml" -->
+ <h1><span class="h1">User manual</span></h1>
+ <p>
+ Please be patient...
+ </p>
+ <!--#include virtual="bottombar.shtml" -->
+ </body>
+</html>
+++ /dev/null
-<html>
-<head>
- <title>Matita home page - download</title>
- <link type="text/css" rel="stylesheet" href="style.css"/>
-</head>
-<body>
- <div class="upmenu">
- <a class="upmenu" href=index.html>Matita Home</a>
- <a class="upmenu" href=developers.html>Developers</a>
- <a class="upmenu" href=documentation.html>Documentation</a>
- <a class="upmenu" href=community.html>Community</a>
- <a class="upmenu" href=download.html>Download</a>
- </div>
- <h1><span class="h1">Sources</span></h1>
- <p>
- Since there is no official release, you can browse the svn repository
- and get sources of the <a
- href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Focaml%2F&rev=0&isdir=1">ocaml/</a>
- and <a
- href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fmatita%2F&rev=0&isdir=1">matita/</a>
- modules.
- </p>
- </body>
-
-</html>
--- /dev/null
+<!--#include virtual="xhtml-header.shtml" -->
+<html>
+ <head>
+ <title>Matita home page - download</title>
+ <link type="text/css" rel="stylesheet" href="style.css"/>
+ </head>
+ <body>
+ <!--#include virtual="menubar.shtml" -->
+ <h1><span class="h1">Sources</span></h1>
+ <p>
+ Since there is no official release, you can browse the svn repository
+ and get sources of the <a
+ href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Focaml%2F&rev=0&isdir=1">ocaml/</a>
+ and <a
+ href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fmatita%2F&rev=0&isdir=1">matita/</a>
+ modules.
+ </p>
+ <!--#include virtual="bottombar.shtml" -->
+ </body>
+</html>
+++ /dev/null
-matita.html
\ No newline at end of file
--- /dev/null
+matita.shtml
\ No newline at end of file
+++ /dev/null
-<html>
- <head>
- <title>Matita home page</title>
- </head>
- <style>
- a {text-decoration:none}
- img.image{ display: none; }
-
- dl#matitaMap {
- margin-left:auto;
- margin-right:auto;
- margin-top:50px;
- padding: 0;
- background: url(matita.png) top left no-repeat;
- height: 590px;
- width: 485px;
- position: relative;
- }
-
- dt{ margin: 0; padding: 0; position: absolute; font-size: 85%; display: none; }
- dd{ margin: 0; padding: 0; position: absolute; font-size: 85%; }
-
- dd#developersDef{ top: 206px; left: 30px; }
- dd#developersDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
- dd#developersDef a span{ display: none; }
- dd#developersDef a:hover{ position: absolute; background: transparent url(bg0.png) ; top: 0px}
-
- dd#documentationDef{ top: 277px; left: 30px; }
- dd#documentationDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
- dd#documentationDef a span{ display: none; }
- dd#documentationDef a:hover{ position: absolute; background: transparent url(bg1.png) ; top: 0px}
-
- dd#communityDef{ top: 348px; left: 30px; }
- dd#communityDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
- dd#communityDef a span{ display: none; }
- dd#communityDef a:hover{ position: absolute; background: transparent url(bg2.png) ; top: 0px}
-
- dd#downloadDef{ top: 419px; left: 30px; }
- dd#downloadDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
- dd#downloadDef a span{ display: none; }
- dd#downloadDef a:hover{ position: absolute; background: transparent url(bg3.png) ; top: 0px}
-
- div#ex {margin-left:auto; margin-right:auto}
- </style>
-
- <body>
-
-<div id="ex" >
-<img src="matita.png" width="485" height="590" border="0" class="image" />
-
- <dl id="matitaMap">
- <dt id="developers">1. Developers</dt>
- <dd id="developersDef"><a href="developers.html"></a></dd>
- <dt id="documentation">2. Documentation</dt>
- <dd id="documentationDef"><a href="documentation.html"></a></dd>
- <dt id="community">3. Community</dt>
- <dd id="communityDef"><a href="community.html"></a></dd>
- <dt id="download">4. Download</dt>
- <dd id="downloadDef"><a href="download.html"></a></dd>
- </dl>
- <div>
-
- </body>
-
-</html>
-
-<!-- $Id$ -->
--- /dev/null
+<!--#include virtual="xhtml-header.shtml" -->
+<html>
+ <head>
+ <title>Matita home page</title>
+ </head>
+ <style>
+ a {text-decoration:none}
+ img.image{ display: none; }
+
+ dl#matitaMap {
+ margin-left:auto;
+ margin-right:auto;
+ margin-top:50px;
+ padding: 0;
+ background: url(matita.png) top left no-repeat;
+ height: 590px;
+ width: 485px;
+ position: relative;
+ }
+
+ dt{ margin: 0; padding: 0; position: absolute; font-size: 85%; display: none; }
+ dd{ margin: 0; padding: 0; position: absolute; font-size: 85%; }
+
+ dd#developersDef{ top: 206px; left: 30px; }
+ dd#developersDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
+ dd#developersDef a span{ display: none; }
+ dd#developersDef a:hover{ position: absolute; background: transparent url(bg0.png) ; top: 0px}
+
+ dd#documentationDef{ top: 277px; left: 30px; }
+ dd#documentationDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
+ dd#documentationDef a span{ display: none; }
+ dd#documentationDef a:hover{ position: absolute; background: transparent url(bg1.png) ; top: 0px}
+
+ dd#communityDef{ top: 348px; left: 30px; }
+ dd#communityDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
+ dd#communityDef a span{ display: none; }
+ dd#communityDef a:hover{ position: absolute; background: transparent url(bg2.png) ; top: 0px}
+
+ dd#downloadDef{ top: 419px; left: 30px; }
+ dd#downloadDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
+ dd#downloadDef a span{ display: none; }
+ dd#downloadDef a:hover{ position: absolute; background: transparent url(bg3.png) ; top: 0px}
+
+ div#ex {margin-left:auto; margin-right:auto}
+ </style>
+
+ <body>
+
+<div id="ex" >
+<img src="matita.png" width="485" height="590" border="0" class="image" />
+
+ <dl id="matitaMap">
+ <dt id="developers">1. Developers</dt>
+ <dd id="developersDef"><a href="developers.shtml"></a></dd>
+ <dt id="documentation">2. Documentation</dt>
+ <dd id="documentationDef"><a href="documentation.shtml"></a></dd>
+ <dt id="community">3. Community</dt>
+ <dd id="communityDef"><a href="community.shtml"></a></dd>
+ <dt id="download">4. Download</dt>
+ <dd id="downloadDef"><a href="download.shtml"></a></dd>
+ </dl>
+ <div>
+
+<!--#include virtual="bottombar.shtml" -->
+ </body>
+</html>
+
+<!-- $Id$ -->
--- /dev/null
+<div class="upmenu">
+ <a class="upmenu" href="index.shtml">Matita Home</a>
+ <a class="upmenu" href="developers.shtml">Developers</a>
+ <a class="upmenu" href="documentation.shtml">Documentation</a>
+ <a class="upmenu" href="community.shtml">Community</a>
+ <a class="upmenu" href="download.shtml">Download</a>
+</div>
--- /dev/null
+<?xml version="1.0" encoding="UTF-8" ?>
+<?xml-stylesheet type="text/css" href="style.css" ?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
projects / helm.git / commitdiff