]> matita.cs.unibo.it Git - helm.git/blob - matitaB/matita/admin.html
several dialog boxes no longer used removed
[helm.git] / matitaB / matita / admin.html
1 <html>
2         <head>
3         </head>
4         <body>
5                 <H1>Matitaweb Administration Panel</H1>
6                 <p>
7                 <FORM action="reset" method="post">
8                 Reset user tables, delete user libraries
9                 <input type="SUBMIT" value="Reset"/>
10                 </FORM>
11                 </p>
12         </body>
13 </html>