<!--#include virtual="xhtml-header.shtml" -->
<html>
<head>
- <title>Matita home page - community</title>
- <link type="text/css" rel="stylesheet" href="style.css"/>
+ <title>Matita - Community</title>
+ <!--#include virtual="xhtml-meta.shtml" -->
</head>
<body>
<!--#include virtual="menubar.shtml" -->
<!--#include virtual="xhtml-header.shtml" -->
<html>
<head>
- <title>Matita home page - developers</title>
- <link type="text/css" rel="stylesheet" href="style.css"/>
+ <title>Matita - Development</title>
+ <!--#include virtual="xhtml-meta.shtml" -->
</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
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>
+ <ul class="wide">
<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>
</ul>
<h2>Former members</h2>
- <ul>
+ <ul class="wide">
<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>Matteo Selmi - Master Student</li>
<li>Vincenzo Tamburrelli - Master Student</li>
</ul>
- </p>
+
<!--#include virtual="bottombar.shtml" -->
</div>
</body>
<!--#include virtual="xhtml-header.shtml" -->
<html>
<head>
- <title>Matita home page - documentation</title>
- <link type="text/css" rel="stylesheet" href="style.css"/>
+ <title>Matita - Documentation</title>
+ <!--#include virtual="xhtml-meta.shtml" -->
</head>
<body>
<!--#include virtual="menubar.shtml" -->
<!--#include virtual="xhtml-header.shtml" -->
<html>
<head>
- <title>Matita home page - download</title>
- <link type="text/css" rel="stylesheet" href="style.css"/>
+ <title>Matita - Download</title>
+ <!--#include virtual="xhtml-meta.shtml" -->
</head>
<body>
<!--#include virtual="menubar.shtml" -->
<!--#include virtual="xhtml-header.shtml" -->
<html>
- <head>
- <title>Matita home page</title>
- </head>
- <style>
- a {text-decoration:none}
- img.invisible { display: none; }
+ <head>
+ <title>Matita - Home Page</title>
+ <!--#include virtual="xhtml-meta.shtml" -->
+ </head>
+ <body>
+ <!--#include virtual="menubar.shtml" -->
+ <div class="main">
- dl#matitaMap {
- margin-left:auto;
- margin-right:auto;
- margin-top:50px;
- padding: 0;
- background: url(images/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(images/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(images/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(images/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(images/bg3.png) ; top: 0px}
+ <div class="topimage">
+ <img src="images/matita-text-big.png" />
+ </div>
- div#ex {margin-left:auto; margin-right:auto}
- </style>
+ <p> Matita is a new document-centric interactive theorem prover that
+ integrates several <a href="http://www.mkm-ig.org">Mathematical Knowledge
+ Management</a> tools and techniques. </p>
- <body>
+ <p> Matita is <strong>traditional</strong>. Its logical foundation is the
+ Calculus of (Co)Inductive Constructions (CIC), and it can re-use
+ mathematical concepts produced by other proof assistants like
+ <a href="http://coq.inria.fr">Coq</a> and encoded in an
+ <a href="http://www.w3.org/XML/">XML</a> dialect. The interaction
+ paradigm of Matita is well known, having been inspired by
+ <a href="http://proofgeneral.inf.ed.ac.uk/">Proof General</a>, and its
+ proof language is procedural in the same spirit of LCF. </p>
+
+ <p> Matita is <strong>innovative</strong>: </p>
+ <ul class="wide">
+
+ <li> its user interface sports high quality bidimensional rendering of
+ proofs and formulae exploiting
+ <a href="http://www.w3.org/Math/">MathML</a> markup, equipped with
+ direct manipulation of the underlying CIC terms; </li>
+
+ <li> its library is distributed: every authored concepts can be
+ published and become part of the Matita library which can be browsed as
+ an hypertext (locally or on the World Wide Web) and searched by means of
+ content-based queries; </li>
+
+ <li> the tactical language, part of the proof language, has
+ step-by-step semantics, enabling inspection and replaying of deeply
+ structured proof scripts </li>
-<div id="ex" >
-<img src="images/matita.png" width="485" height="590" border="0" class="invisible" />
+ </ul>
- <dl id="matitaMap">
- <dt id="developers">1. Developers</dt>
- <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>
- <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" -->
+ </div>
</body>
</html>
<!-- $Id$ -->
<div class="menu">
- <!--<img src="http://matita.cs.unibo.it/images/matita-small.png" />-->
<ul>
<li> <a href="index.shtml">Matita Home</a> </li>
<li> <a href="documentation.shtml">Documentation</a> </li>
--- /dev/null
+<!--#include virtual="xhtml-header.shtml" -->
+<html>
+ <head>
+ <title>Matita - Splash</title>
+ </head>
+ <style>
+ a {text-decoration:none}
+ img.invisible { display: none; }
+
+ dl#matitaMap {
+ margin-left:auto;
+ margin-right:auto;
+ margin-top:50px;
+ padding: 0;
+ background: url(images/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(images/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(images/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(images/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(images/bg3.png) ; top: 0px}
+
+ div#ex {margin-left:auto; margin-right:auto}
+ </style>
+
+ <body>
+
+<div id="ex" >
+<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="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>
+ <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>
+
+ </body>
+</html>
+<!-- $Id$ -->
color: #808080;
}
-p {
+ul {
+ list-style-type: square;
}
-ul {
+div.menu {
+ position: absolute;
+ left: 0px;
+ width: 150px;
+ padding-top: 110px;
+ background: url(images/matita-small.png);
+ background-repeat: no-repeat;
+ background-position: 1cm top;
+}
+
+div.menu ul {
list-style-type: none;
}
background-color: #ecf6f9;
}
+ul.wide li {
+ padding-bottom: 5px;
+}
+
a {
margin: 2px;
color: #591622;
background-color: #ecf6f9;
}
-div.menu {
- position: absolute;
- left: 0px;
- width: 150px;
- padding-top: 140px;
- background: url(images/matita-small.png);
- background-repeat: no-repeat;
- background-position: 1cm top;
-}
-
div.main {
position: absolute;
top: 0px;
width: 650px;
}
+.center {
+ text-align: center;
+}
+
+div.topimage {
+ text-align: center;
+ padding-top: 14px;
+}
+
div.bottombar {
display: block;
width: auto;
font-size: 95%;
}
+div.logo {
+ background: url(images/matita-big.png);
+ background-repeat: no-repeat;
+ background-position: center top;
+ height: 600px;
+}
+
--- /dev/null
+ <link type="text/css" rel="stylesheet" href="style.css"/>
projects / helm.git / commitdiff
