]> matita.cs.unibo.it Git - helm.git/history - helm/mowgli/home/xsl/news.xsl
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xsl / news.xsl
2002-03-06 Claudio Sacerdoti... * New data
2002-02-26 Claudio Sacerdoti... * A new news
2002-02-25 Claudio Sacerdoti... Great changes in all the stylesheets. Every page is...
2002-02-19 Luca Padovani- renamed some files
2002-02-14 Luca Padovani- main page now generated automatically
2002-02-14 Claudio Sacerdoti... Fixed broken links to IST images.
2002-02-13 Claudio Sacerdoti... Bug fixed: the top directory has a different (relative...
2002-02-13 Luca Padovani- more uniform layout
2002-02-13 Claudio Sacerdoti... Hyperlink to the author's MOWLI home page added.
2002-02-13 Claudio Sacerdoti... * news.xml was not valid. DTD fixed.
2002-02-13 Luca Padovani- added common stylesheet