-<!-- $Id$ -->
<!--#include virtual="xhtml-header.shtml" -->
-<html>
+<!-- $Id$ -->
+<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta name="keywords" content="Matita, prover, assistant" />
<title>Matita - Home Page</title>
step-by-step semantics, enabling inspection and replaying of deeply
structured proof scripts. </p>
- <p>Matita is partially supported by the following Projects:
+ <p>Matita is partially supported by the following Projects: </p>
<ul>
- <li><a href=http://www.cs.chalmers.se/Cs/Research/Logic/Types/>
- Types Project</a>
- <li><a href=http://www.mctafi.math.unipd.it/>McTafi</a></li>
- <li><a href=http://dama.cs.unibo.it/>Dama</a></li>
+ <li><a href="http://www.cs.chalmers.se/Cs/Research/Logic/Types/">
+ Types Project</a></li>
+ <li><a href="http://www.mctafi.math.unipd.it/">McTafi</a></li>
+ <li><a href="http://dama.cs.unibo.it/">Dama</a></li>
</ul>
- </p>
<!--#include virtual="bottombar.shtml" -->
</div>