Matitaweb:

[helm.git] / matitaB / matita / html / logout.html
diff --git a/matitaB/matita/html/logout.html b/matitaB/matita/html/logout.html

new file mode 100644 (file)

index 0000000..df0ae20
--- /dev/null
+++ b/matitaB/matita/html/logout.html
@@ -0,0 +1,15 @@
+<html>
+<head>
+</head>
+                 
+<head>
+<script type="text/javascript" src="matitaweb.js"></script>
+</head>
+
+<body onLoad="delete_session();">
+       <p>Logout succeeded!</p>
+
+       <p><A href="/login.html">Start a new session</A></p>
+</body>
+</html> 
+