]> matita.cs.unibo.it Git - helm.git/history - helm/mowgli/home/xml/home.xml
Tactic update
[helm.git] / helm / mowgli / home / xml / home.xml
2002-03-11 Irene SchenaModified Files:
2002-03-11 Irene SchenaModified Files:
2002-03-06 Irene SchenaModified Files:
2002-03-05 Claudio Sacerdoti... Forgotten links; better link names.
2002-03-04 Irene SchenaModified Files:
2002-03-04 Irene SchenaModified Files:
2002-03-04 Irene SchenaModified Files:
2002-02-26 Claudio Sacerdoti... Warning definitely removed.
2002-02-26 Claudio Sacerdoti... The footer is now generated by xhtml-content.xsl
2002-02-25 Claudio Sacerdoti... * <I> ==> <em> everywhere
2002-02-24 Claudio Sacerdoti... More cleanup: the home page is now generated by means...