helm/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><a href="bench.php">Go to the benchmark query page</a></p>
  10   </body>
  11 </html>