<samp class="tiny">Last-modified: <!--#flastmod file="$DOCUMENT_NAME"--></samp>
<div class="uplined">
<a class="quiet" href="http://validator.w3.org/check/referer">
- <img class="quiet" alt="Valid XHTML 1.0!" src="images/valid-xhtml10.png" width="88" height="31" /></a>
+ <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 class="quiet" alt="Valid CSS" src="images/valid-css.png" width="88" height="31" />
+ <img alt="Valid CSS" src="images/valid-css.png" width="88" height="31" />
</a>
</div>
</div>
</head>
<body>
<!--#include virtual="menubar.shtml" -->
- <h1><span class="h1">Miki</span></h1>
- <p>
- We are currently developing
- <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
- technologies to support collaborative development of the Matita
- library, encouraging people to expand, modify and elaborate previous
- contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
- codename of the effort.
- </p>
+ <div class="main">
+ <h1>Matita Community</h1>
+ <h2><span class="h2">Miki</span></h1>
+ <p>
+ We are currently developing
+ <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
+ technologies to support collaborative development of the Matita
+ library, encouraging people to expand, modify and elaborate previous
+ contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
+ codename of the effort.
+ </p>
+ </div>
<!--#include virtual="bottombar.shtml" -->
</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" -->
- <p>
- The origins of Matita go back to 1999 and are intertwined with the
- <a href="http://helm.cs.unibo.it">HELM Project</a>. Since then, a
- lot of people contributed both ideas and source code that have made
- Matita what it looks today. In this page we tried to summarize all
- of them, we apologize for whom we forgot to mention.
- </p>
- <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> - Lecturer </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> - PhD</li>
- <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a> - Lecturer</li>
- <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a> - PhD</li>
- <li>Pietro Di Lena - Undergrad Student</li>
- <li>Michele Galatá - Undergrad Student</li>
- <li>Alberto Griggio - Undergrad Student</li>
- <li>Matteo Selmi - Undergrad Student</li>
- <li>Vincenzo Tamburrelli - Undergrad Student</li>
- </ul>
- <!--#include virtual="bottombar.shtml" -->
- </body>
-</html>
-<!-- $Id$ -->
--- /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" -->
+ <div class="main">
+ <h1>Matita Development</h1>
+ <p>
+ The origins of Matita go back to 1999 and are intertwined with the
+ <a href="http://helm.cs.unibo.it">HELM Project</a>. Since then, a
+ lot of people contributed both ideas and source code that have made
+ Matita what it looks today. In this page we tried to summarize all
+ of them, we apologize for whom we forgot to mention.
+ </p>
+ <h2>Current team members</h2>
+ <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> - Lecturer </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>
+
+ <h2>Former members</h2>
+ <ul>
+ <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a> - PhD</li>
+ <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a> - Lecturer</li>
+ <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a> - PhD</li>
+ <li>Pietro Di Lena - Master Student</li>
+ <li>Michele Galatá - Master Student</li>
+ <li>Alberto Griggio - Master Student</li>
+ <li>Matteo Selmi - Master Student</li>
+ <li>Vincenzo Tamburrelli - Master Student</li>
+ </ul>
+ </p>
+ <!--#include virtual="bottombar.shtml" -->
+ </body>
+</html>
+<!-- $Id$ -->
</head>
<body>
<!--#include virtual="menubar.shtml" -->
- <h1><span class="h1">User manual</span></h1>
- <p>
- We are working on the user manual of Matita. The current status is
- available in our
- <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2F&sc=0">svn repository</a>
- in the
- <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2Fhelp%2FC%2F&rev=0&sc=0"><kbd>matita/help</kbd> directory</a>
- (in <a href="http://www.oasis-open.org/docbook/">DocBook</a> format)
- </p>
+ <div class="main">
+ <h1>Matita Documentation</h1>
+ <h2>User manual</h2>
+ <p>
+ We are working on the user manual of Matita. The current status is
+ available in our
+ <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2F&sc=0">svn repository</a>
+ in the
+ <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2Fhelp%2FC%2F&rev=0&sc=0"><kbd>matita/help</kbd> directory</a>
+ (in <a href="http://www.oasis-open.org/docbook/">DocBook</a> format)
+ </p>
+ </div>
<!--#include virtual="bottombar.shtml" -->
</body>
</html>
</head>
<body>
<!--#include virtual="menubar.shtml" -->
- <h1><span class="h1">Sources</span></h1>
- <p>
- Matita has no official releases yet.
- Still, you can get and build Matita from sources.
- All our source code is released under the terms of the GNU General
- Public Licence and is publically accessible on our svn repository.
- </p>
- <p>
- To checkout a copy of the sources type:
+ <div class="main">
+ <h1>Download Matita!</h1>
+ <h2>Sources</h2>
+ <p>
+ Matita has no official releases yet.
+ Still, you can get and build Matita from sources.
+ All our source code is released under the terms of the GNU General
+ Public Licence and is publically accessible on our svn repository.
+ </p>
+ <p>
+ To checkout a copy of the sources type:
<pre>
svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/
cd software
svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components
svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita
</pre>
- </p>
- <p>
- Once you got the sources, have a look at the
- <a href="install.html">installation instructions</a> on how to build and
- install Matita from sources.
- </p>
+ </p>
+ <p>
+ Once you got the sources, have a look at the
+ <a href="install.html">installation instructions</a> on how to build and
+ install Matita from sources.
+ </p>
+ </div>
<!--#include virtual="bottombar.shtml" -->
</body>
</html>
</head>
<style>
a {text-decoration:none}
- img.image{ display: none; }
+ img.invisible { display: none; }
dl#matitaMap {
margin-left:auto;
<body>
<div id="ex" >
-<img src="images/matita.png" width="485" height="590" border="0" class="image" />
+<img src="images/matita.png" width="485" height="590" border="0" class="invisible" />
<dl id="matitaMap">
<dt id="developers">1. Developers</dt>
- <dd id="developersDef"><a href="developers.shtml"></a></dd>
+ <dd id="developersDef"><a href="development.shtml"></a></dd>
<dt id="documentation">2. Documentation</dt>
<dd id="documentationDef"><a href="documentation.shtml"></a></dd>
<dt id="community">3. Community</dt>
-<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 class="menu">
+ <a href="index.shtml">Matita Home</a>
+ <a href="development.shtml">Development</a>
+ <a href="documentation.shtml">Documentation</a>
+ <a href="community.shtml">Community</a>
+ <a href="download.shtml">Download</a>
</div>
+
body {
font-family: sans-serif;
font-size: 12pt;
font-size: 8pt;
}
-span.h1 {
+div.main h1 {
font-family: sans-serif;
- font-size: 16pt;
+ font-size: 18pt;
+ color: #808080;
+ text-align: center;
+}
+
+div.main h2 {
+ font-family: sans-serif;
+ font-size: 16pt;
color: #808080;
- border-bottom-width: 4px;
- border-top-width: 0px;
- border-left-width: 0px;
- border-right-width: 0px;
- border-style: solid;
+ border-style: none;
+ border-bottom-style: solid;
+ border-width: 3px;
border-color: #cb8080;
+ width: 70%;
margin-right: auto;
-/* margin-left: 10%; */
+}
+
+div.main h3 {
+ font-family: sans-serif;
+ font-size: 14pt;
+ color: #808080;
+}
+
+div.main h4 {
+ font-family: sans-serif;
+ font-size: 13pt;
+ color: #808080;
}
p {
-/* margin-left:10%; */
}
+
ul {
-/* margin-left:10%; */
list-style-type: none;
}
-a.upmenu {
+div.menu a {
color: #591622;
background-color: transparent;
border-right-width: 0px;
border-style: solid;
-/* margin-left:20px; */
margin-right:20px;
}
-a.upmenu:hover {
+a.menu:hover {
color: #591622;
text-decoration : none;
- /*
- border-bottom-width: 3px;
- border-color: #b2dae6;
- */
background-color: #ecf6f9;
}
a:hover {
text-decoration : underline;
- /*
- border-bottom-width: 2px;
- border-top-width: 0px;
- border-left-width: 0px;
- border-right-width: 0px;
- border-style: solid;
- border-color: #b2dae6;
- */
background-color: #ecf6f9;
}
-div.upmenu {
+div.menu {
display: block;
width: auto;
text-align:center;
}
-img.quiet {
+a.quiet img {
border-style:none;
}
-
-
projects / helm.git / commitdiff