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