]> matita.cs.unibo.it Git - helm.git/blob - matitaB/matita/logout.html
component "reducibility" updated to new syntax!
[helm.git] / matitaB / matita / logout.html
1 <html>
2 <head>
3 </head>
4                  
5 <head>
6 <script type="text/javascript" src="matitaweb.js"></script>
7 </head>
8
9 <body onLoad="delete_session();">
10         <p>Logout succeeded!</p>
11
12         <p><A href="/login.html">Start a new session</A></p>
13 </body>
14 </html> 
15