]> matita.cs.unibo.it Git - helm.git/history - helm/mowgli/home/xsl/xhtml-content.xsl
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xsl / xhtml-content.xsl
2002-03-25 Claudio Sacerdoti... Links to the version with frames fixed.
2002-03-21 Luca Padovaniframes/no frame switch changed
2002-03-21 Claudio Sacerdoti... Links between the versions with and without frames.
2002-02-26 Claudio Sacerdoti... templates/menu.html moved to xml/menu.xml
2002-02-26 Claudio Sacerdoti... * non-html stuff that was installed in html/members...
2002-02-26 Claudio Sacerdoti... Avoided some bugs of libxslt.
2002-02-24 Claudio Sacerdoti... More cleanup: the home page is now generated by means...
2002-02-19 Luca Padovanichanged format of content file, now xhtml
2002-02-19 Luca Padovani- added publication index