X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Findex.html;h=d3fe3491f263e0e34314fe5ff35496d329c5e4b9;hb=866590ce137ec8fbbaf83fa8ba572177c30dbdd8;hp=a1099ad7f0dae41044eda2b770ed3307d39520aa;hpb=21d29bf473dd0d89f555dc17e4f2b7b9b4ad6bd1;p=helm.git

diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html
index a1099ad7f..d3fe3491f 100644
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -16,6 +16,12 @@
 
 <div class="matitaapparea">
 
+<div class="titlebar">
+  <div class="mainTitle"><H2 id="matitaTitle">Matita - &lt;&lt;Filename&gt;&gt;</H2></div>
+  <div class="mainRight" id="matitaLogout"><A id="hlogout" href="/logout.html">Log out</A></div>
+</div>
+
+
 <div class="toparea">
 <div class="navibar">
            <A href="javascript:advanceForm1()"><IMG class="topimg" src="icons/advance.png"