X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fhtml%2Flogout.html;h=96eb2585e889c11b23f1cadb4fefb8002a4d3282;hb=98827f140349f91cbd546491b233d6d5d3f335c3;hp=df0ae200184101ceaa94537ac10eb86676f2145a;hpb=71204a8e8d1084c94adfbcf9264f71ab85f3621e;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!