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>