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

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

2002-06-11	Claudio Sacerdoti...	New: expected types (in the sense of Yann Coscoy) now...	blob \| commitdiff \| raw
2002-05-22	Claudio Sacerdoti...	Conjectures and Hypotheses inside every conjecture...	blob \| commitdiff \| raw \| diff to current
2002-05-20	Claudio Sacerdoti...	Explicit substitutions for metavariables introduced...	blob \| commitdiff \| raw \| diff to current
2002-04-08	Claudio Sacerdoti...	Declaration and Definition renamed to Decl and Def...	blob \| commitdiff \| raw \| diff to current
2002-04-08	Claudio Sacerdoti...	1) Sequent object added.	blob \| commitdiff \| raw \| diff to current
2001-03-22	Irene Schena	Modified Files:	blob \| commitdiff \| raw \| diff to current
2001-03-09	Irene Schena	Modified Files:	blob \| commitdiff \| raw \| diff to current
2001-02-22	Luca Padovani	commented processing instructions for Cocoon, we do...	blob \| commitdiff \| raw \| diff to current
2001-02-05	Irene Schena	Modified Files:	blob \| commitdiff \| raw \| diff to current
2001-01-17	Irene Schena	Modified Files:	blob \| commitdiff \| raw \| diff to current
2001-01-15	Luca Padovani	added LICENSE	blob \| commitdiff \| raw \| diff to current
2000-12-18	Claudio Sacerdoti...	Some spaces at the content level eliminated.	blob \| commitdiff \| raw \| diff to current
2000-11-29	Irene Schena	Modified Files:	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.