]> matita.cs.unibo.it Git - helm.git/history - helm/mowgli/home/xml/news.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / news.xml
2002-03-20 Claudio Sacerdoti... New data.
2002-03-20 Claudio Sacerdoti... New data.
2002-03-19 Claudio Sacerdoti... * Some documents were not valid
2002-03-13 Claudio Sacerdoti... The contract was the proposal!!!
2002-03-11 Claudio Sacerdoti... Link to Paul's new MOWGLI page added.
2002-03-11 Claudio Sacerdoti... New data.
2002-03-06 Irene SchenaModified Files:
2002-03-06 Claudio Sacerdoti... * New data
2002-02-26 Claudio Sacerdoti... * A new news
2002-02-22 Claudio Sacerdoti... News updated.
2002-02-22 Claudio Sacerdoti... * "Older news" link added to the first page.
2002-02-16 Luca Padovani- list of people
2002-02-14 Luca Padovani- main page now generated automatically
2002-02-13 Claudio Sacerdoti... * news.xml was not valid. DTD fixed.
2002-02-13 Luca Padovani- added common stylesheet