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

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_proof_checking/cicCooking.ml

2003-06-19	Claudio Sacerdoti...	Merge of the V7_3_new_exportation branch.	commit \| commitdiff
2002-06-12	Claudio Sacerdoti...	Abst removed from the DTD.	commit \| commitdiff
2001-12-06	Claudio Sacerdoti...	Bug fixed: cooking w.r.t. a variable with a body must...	commit \| commitdiff
2001-12-05	Claudio Sacerdoti...	Discharging of variables with a body was bugged. Fixed.	commit \| commitdiff
2001-12-03	Claudio Sacerdoti...	* Major code cleanup.	commit \| commitdiff
2001-11-29	Claudio Sacerdoti...	A .cmo file inside a .cma is linked iff it is reference...	commit \| commitdiff
2001-11-26	Claudio Sacerdoti...	HELM OCaml libraries with findlib support.	commit \| commitdiff

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