]> matita.cs.unibo.it Git - helm.git/history - helm/mowgli/home/templates/menu.html
moved some xml files into xml root directory
[helm.git] / helm / mowgli / home / templates / menu.html
2002-02-19 Luca Padovanimoved some xml files into xml root directory
2002-02-19 Claudio Sacerdoti... Broken links fixed somehow.
2002-02-19 Luca Padovani- added publication index
2002-02-18 Claudio Sacerdoti... Nothing yet pages added to fix broken links.
2002-02-16 Luca Padovani- list of people
2002-02-15 Claudio Sacerdoti... Events added.
2002-02-14 Luca Padovani- main page now generated automatically
2002-02-14 Claudio Sacerdoti... OMDoc link fixed.
2002-02-13 Luca Padovani- added common stylesheet
2002-02-12 Claudio Sacerdoti... Initial commit of the XML/XSLT stuff.
2002-02-11 Luca Padovanithis is the first commit for the mowgli website.