X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fbottombar.shtml;h=6c480c44a41eea5392a6be1e092ca0197d3b19f6;hb=48bd1f41417fb167a100eb1613a64a711484b69a;hp=3f4fbd71267a83da4ddcdcbf27d755f7767aec6a;hpb=41d76f1dd8a3e5d67785900e6208eb80bf75cc9e;p=helm.git

diff --git a/helm/www/matita/bottombar.shtml b/helm/www/matita/bottombar.shtml
index 3f4fbd712..6c480c44a 100644
--- a/helm/www/matita/bottombar.shtml
+++ b/helm/www/matita/bottombar.shtml
@@ -1,10 +1,11 @@
+<!-- $Id$ -->
 <div class="bottombar">
+  <samp class="tiny">Last-modified: <!--#flastmod file="$DOCUMENT_NAME"--></samp>
   <div class="uplined">
-  <a class="quiet" href="http://validator.w3.org/check/referer">
-    <img class="quiet" alt="Valid XHTML 1.0!" src="images/valid-xhtml10.png" width="88" height="31" /></a>
-      <a class="quiet" href="http://jigsaw.w3.org/css-validator/">
-	<img class="quiet" alt="Valid CSS" src="images/valid-css.png" width="88" height="31" />
-</a>
-</div>
+    <a class="quiet" href="http://validator.w3.org/check/referer">
+      <img alt="Valid XHTML 1.0!" src="images/valid-xhtml10.png" width="88" height="31" /></a>
+    <a class="quiet" href="http://jigsaw.w3.org/css-validator/">
+      <img alt="Valid CSS" src="images/valid-css.png" width="88" height="31" />
+    </a>
+  </div>
 </div>
-<!-- $Id$ -->