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