<!--#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" -->