matita.cs.unibo.it Git - helm.git/history - helm/style/theory

]> matita.cs.unibo.it Git - helm.git/history - helm/style/theory_content.xsl

2001-06-29	Claudio Sacerdoti...	ht:OBJECT added	blob \| commitdiff \| raw
2001-05-09	Claudio Sacerdoti...	Attribute @name of ENTITY removed.	blob \| commitdiff \| raw \| diff to current
2001-05-08	Claudio Sacerdoti...	Many improvements in theory-rendering.	blob \| commitdiff \| raw \| diff to current
2001-05-03	Irene Schena	Theory level DTD changed and .theory.xml files exported...	blob \| commitdiff \| raw \| diff to current
2001-03-19	Irene Schena	Modified Files:	blob \| commitdiff \| raw \| diff to current
2001-03-09	Irene Schena	Modified Files:	blob \| commitdiff \| raw \| diff to current
2001-03-05	Andrea Asperti	added eq_ind	blob \| commitdiff \| raw \| diff to current
2001-02-13	Luca Padovani	added support for application-time parameters	blob \| commitdiff \| raw \| diff to current
2001-02-06	Irene Schena	Modified Files:	blob \| commitdiff \| raw \| diff to current
2001-01-15	Luca Padovani	added LICENSE	blob \| commitdiff \| raw \| diff to current
2000-11-24	Claudio Sacerdoti...	http_getter reimplemented from scratch	blob \| commitdiff \| raw \| diff to current
2000-10-31	Claudio Sacerdoti...	Initial revision	blob \| commitdiff \| raw \| diff to current

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