X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fmatita%2Fhtml%2Flogout.html;h=96eb2585e889c11b23f1cadb4fefb8002a4d3282;hb=30922a1c2122f0386f6173807b1dfda8b2b00ba1;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!