]> matita.cs.unibo.it Git - helm.git/blob - matitaB/matita/html/logout.html
missing notation file
[helm.git] / matitaB / matita / html / logout.html
1 <html>
2                  
3 <head>
4 <script type="text/javascript" src="matitaweb.js"></script>
5 <link rel="stylesheet" type="text/css" href="matitaweb.css"/>
6 </head>
7                  
8 <body onLoad="delete_session();">
9 <img align="bottom" class="topimg" src="icons/matita-text.png"> 
10         <p>Logout succeeded!</p>
11
12         <p><A href="/login.html">Start a new session</A></p>
13 </body>
14 </html> 
15