]> matita.cs.unibo.it Git - helm.git/blob - matita/scripts/public_html/index.html
fixed makefiles to make it compile cleanly again
[helm.git] / matita / scripts / public_html / index.html
1 <?php require("common.php"); ?>
2
3 <html>
4   <head>
5   <link type="text/css" rel="stylesheet" href="style.css"/>
6   </head>
7   <body>
8     <h1>MATITA BENCHMARKING SYSTEM</h1>
9     <p> 
10     <center> <!-- Yes, It sucks! :P -->
11       <a href="bench.php">Go to the benchmark query page</a>
12     </center>
13     </p>
14   </body>
15 </html>