Added matitaweb administration panel.

[helm.git] / matitaB / matita / admin.html
diff --git a/matitaB/matita/admin.html b/matitaB/matita/admin.html

new file mode 100644 (file)

index 0000000..a10a4a5
--- /dev/null
+++ b/matitaB/matita/admin.html
@@ -0,0 +1,13 @@
+<html>
+       <head>
+       </head>
+       <body>
+               <H1>Matitaweb Administration Panel</H1>
+               <p>
+               <FORM action="reset" method="post">
+               Reset user tables, delete user libraries
+               <input type="SUBMIT" value="Reset"/>
+               </FORM>
+               </p>
+       </body>
+</html>