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