branch for universe

[helm.git] / matita / scripts / public_html / index.html
diff --git a/matita/scripts/public_html/index.html b/matita/scripts/public_html/index.html

new file mode 100644 (file)

index 0000000..12fd7be
--- /dev/null
+++ b/matita/scripts/public_html/index.html
@@ -0,0 +1,15 @@
+<?php require("common.php"); ?>
+
+<html>
+  <head>
+  <link type="text/css" rel="stylesheet" href="style.css"/>
+  </head>
+  <body>
+    <h1>MATITA BENCHMARKING SYSTEM</h1>
+    <p> 
+    <center> <!-- Yes, It sucks! :P -->
+      <a href="bench.php">Go to the benchmark query page</a>
+    </center>
+    </p>
+  </body>
+</html>