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

2001-12-06	Claudio Sacerdoti...	Bug fixed: cooking w.r.t. a variable with a body must...	blob \| commitdiff \| raw
2001-12-05	Claudio Sacerdoti...	Discharging of variables with a body was bugged. Fixed.	blob \| commitdiff \| raw \| diff to current
2001-12-03	Claudio Sacerdoti...	* Major code cleanup.	blob \| commitdiff \| raw \| diff to current
2001-11-29	Claudio Sacerdoti...	A .cmo file inside a .cma is linked iff it is reference...	blob \| commitdiff \| raw \| diff to current
2001-11-26	Claudio Sacerdoti...	HELM OCaml libraries with findlib support.	blob \| commitdiff \| raw \| diff to current

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