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

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic/cicPushParser.ml

2005-06-15	Stefano Zacchiroli	DTD for attributes revised.	blob \| commitdiff \| raw
2005-06-15	Claudio Sacerdoti...	The `Record class now records also the name of the...	blob \| commitdiff \| raw \| diff to current
2005-06-07	Stefano Zacchiroli	handles "elimCProp" value for class attribute	blob \| commitdiff \| raw \| diff to current
2005-05-12	Enrico Tassi	fixed memory leak (workaround)	blob \| commitdiff \| raw \| diff to current
2005-05-12	Stefano Zacchiroli	fixed a TODO comment (MUTCASE _is_ implemented)	blob \| commitdiff \| raw \| diff to current
2005-05-11	Stefano Zacchiroli	handle XmlPushParser.Parse_error exception	blob \| commitdiff \| raw \| diff to current
2005-05-10	Stefano Zacchiroli	make use of gzipped type and body	blob \| commitdiff \| raw \| diff to current
2005-05-05	Stefano Zacchiroli	- implemented CicPushParser which parser CIC objects...	blob \| commitdiff \| raw \| diff to current

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