the web interface for the benchmarking system

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

new file mode 100644 (file)

index 0000000..e08234d
--- /dev/null
+++ b/helm/matita/scripts/public_html/index.html
@@ -0,0 +1,11 @@
+<?php require("common.php"); ?>
+
+<html>
+  <head>
+  <link type="text/css" rel="stylesheet" href="style.css"/>
+  </head>
+  <body>
+    <h1>MATITA BENCHMARKING SYSTEM</h1>
+    <p><a href="bench.php">Go to the benchmark query page</a></p>
+  </body>
+</html>