]> matita.cs.unibo.it Git - helm.git/blob - matitaB/matita/login.html
component "reducibility" updated to new syntax!
[helm.git] / matitaB / matita / login.html
1 <html>
2 <head>
3 </head>
4                  
5 <head></head>
6
7 <body>
8
9 <FORM action="login" method="post">
10 <table>
11   <tr>
12   <td>User id: </td>
13   <td><INPUT type="TEXT" name="userid"></td>
14   </tr>
15   <tr>
16   <td>Password: </td>
17   <td><INPUT type="PASSWORD" name="password"></td>
18   </tr>
19 </table>
20
21 <INPUT type="SUBMIT" value="Login">
22 <INPUT type="RESET" value="Reset">
23 </FORM>
24
25 </body>
26 </html> 
27