]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/matita/community.shtml
rewored website layout and internal structure:
[helm.git] / helm / www / matita / community.shtml
index eebd71cc7f24ff229c9f1d158d19e80c40105921..1dfd479fa01a125f474db291c6a1240b2785827b 100644 (file)
@@ -17,8 +17,8 @@
       contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
       codename of the effort.
       </p>
+      <!--#include virtual="bottombar.shtml" -->
     </div>
-    <!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
 <!-- $Id$ -->