matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_proof_checking/cicReduction.ml

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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / ocaml / cic_proof_checking / cicReduction.ml

2005-10-27	Claudio Sacerdoti...	1. Parameter enable (default true) added to HExtlib...	blob \| commitdiff \| raw
2005-10-25	Enrico Tassi	moved the expansion of implicits inside the refiner...	blob \| commitdiff \| raw \| diff to current
2005-10-25	Claudio Sacerdoti...	Debugging code turned off.	blob \| commitdiff \| raw \| diff to current
2005-10-25	Claudio Sacerdoti...	* More profiling code	blob \| commitdiff \| raw \| diff to current
2005-09-21	Claudio Sacerdoti...	More debug_print made lazy.	blob \| commitdiff \| raw \| diff to current
2005-07-08	Claudio Sacerdoti...	An impossible case changed to an assert false.	blob \| commitdiff \| raw \| diff to current
2005-06-15	Enrico Tassi	are_convertible on MutCase was no longer checking the...	blob \| commitdiff \| raw \| diff to current
2005-06-10	Claudio Sacerdoti...	* (Head) beta reduction functions factorized	blob \| commitdiff \| raw \| diff to current
2005-06-01	Enrico Tassi	added C.Appl [] case	blob \| commitdiff \| raw \| diff to current
2005-05-31	Enrico Tassi	implemented normalize (used in new_metasenv_for_apply)	blob \| commitdiff \| raw \| diff to current
2005-05-27	Enrico Tassi	removed debug prerr_endline	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	merged changes from the svn fork by me and Enrico	blob \| commitdiff \| raw \| diff to current
2002-04-16	Andrea Asperti	Replaced with a symbolic link to the actual implementation.	blob \| commitdiff \| raw
2001-12-05	Claudio Sacerdoti...	Debugging code removed to achieve more tail-recursivity.	blob \| commitdiff \| raw \| diff to current
2001-12-05	Claudio Sacerdoti...	Just code clean-up.	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...	LetIn reduction (alias zeta-reduction) is now performed...	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.