X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fhtml%2Flogout.html;h=96eb2585e889c11b23f1cadb4fefb8002a4d3282;hb=93768d9ebc0e3c8e3bcd69571d7a635cb1a16b29;hp=df0ae200184101ceaa94537ac10eb86676f2145a;hpb=e499c2e36d8a39c4749b8e0e34438b49532d15b8;p=helm.git diff --git a/matitaB/matita/html/logout.html b/matitaB/matita/html/logout.html index df0ae2001..96eb2585e 100644 --- a/matitaB/matita/html/logout.html +++ b/matitaB/matita/html/logout.html @@ -1,12 +1,12 @@ - - + - + +

Logout succeeded!