matita.cs.unibo.it Git - helm.git/history - helm/mowgli/home/xml/home.xml

]> matita.cs.unibo.it Git - helm.git/history - helm/mowgli/home/xml/home.xml

2002-03-11	Irene Schena	Modified Files:	blob \| commitdiff \| raw
2002-03-11	Irene Schena	Modified Files:	blob \| commitdiff \| raw \| diff to current
2002-03-06	Irene Schena	Modified Files:	blob \| commitdiff \| raw \| diff to current
2002-03-05	Claudio Sacerdoti...	Forgotten links; better link names.	blob \| commitdiff \| raw \| diff to current
2002-03-04	Irene Schena	Modified Files:	blob \| commitdiff \| raw \| diff to current
2002-03-04	Irene Schena	Modified Files:	blob \| commitdiff \| raw \| diff to current
2002-03-04	Irene Schena	Modified Files:	blob \| commitdiff \| raw \| diff to current
2002-02-26	Claudio Sacerdoti...	Warning definitely removed.	blob \| commitdiff \| raw \| diff to current
2002-02-26	Claudio Sacerdoti...	The footer is now generated by xhtml-content.xsl	blob \| commitdiff \| raw \| diff to current
2002-02-25	Claudio Sacerdoti...	* <I> ==> <em> everywhere	blob \| commitdiff \| raw \| diff to current
2002-02-24	Claudio Sacerdoti...	More cleanup: the home page is now generated by means...	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.