matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_transformations/cic2Xml.ml

2005-09-21	Claudio Sacerdoti...	We do not longer generate inner-types and inner-sorts...	blob \| commitdiff \| raw
2005-07-08	Enrico Tassi	added Variant theorem flavour	blob \| commitdiff \| raw \| diff to current
2005-06-15	Claudio Sacerdoti...	DTD for attributes revised.	blob \| commitdiff \| raw \| diff to current
2005-06-15	Claudio Sacerdoti...	The `Record class now records also the name of the...	blob \| commitdiff \| raw \| diff to current
2005-06-11	Stefano Zacchiroli	added an 'a parameter to mpresentation type so that...	blob \| commitdiff \| raw \| diff to current
2005-06-07	Stefano Zacchiroli	implemented attributes pretty printing	blob \| commitdiff \| raw \| diff to current
2005-05-31	Stefano Zacchiroli	Changed type of ids_to_inner_sort table used in transfo...	blob \| commitdiff \| raw \| diff to current
2005-01-21	Stefano Zacchiroli	attributes support (not yet in the pretty printer)	blob \| commitdiff \| raw \| diff to current
2004-04-23	Enrico Tassi	Universes introduction	blob \| commitdiff \| raw \| diff to current
2004-02-11	Stefano Zacchiroli	ported to helm registry	blob \| commitdiff \| raw \| diff to current
2003-12-02	Ferruccio Guidi	sort CProp added	blob \| commitdiff \| raw \| diff to current
2003-07-16	Claudio Sacerdoti...	Xml.token is now namespace-aware. As a consequence...	blob \| commitdiff \| raw \| diff to current
2003-07-16	Andrea Asperti	Several changes (the beginning of a new era???)	blob \| commitdiff \| raw \| diff to current

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