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/cicEnvironment.ml

2004-06-01	Enrico Tassi	new universes implementation	blob \| commitdiff \| raw
2004-04-05	Andrea Asperti	Added a new function in_cache to cicEnvironemt. It...	blob \| commitdiff \| raw \| diff to current
2004-02-11	Stefano Zacchiroli	new logger	blob \| commitdiff \| raw \| diff to current
2004-02-06	Stefano Zacchiroli	added annotations to Cic.Implicit	blob \| commitdiff \| raw \| diff to current
2003-12-16	Stefano Zacchiroli	renamed module "logger" to "cicLogger" to avoid confusi...	blob \| commitdiff \| raw \| diff to current
2003-09-13	Stefano Zacchiroli	added support for dump/restore/clear proof checker...	blob \| commitdiff \| raw \| diff to current
2003-06-19	Claudio Sacerdoti...	Merge of the V7_3_new_exportation branch.	blob \| commitdiff \| raw \| diff to current
2002-01-29	Claudio Sacerdoti...	Ported to ocaml-3.04	blob \| commitdiff \| raw \| diff to current
2001-12-13	Claudio Sacerdoti...	The hash-table used in the implementation was of "type"	blob \| commitdiff \| raw \| diff to current
2001-12-13	Claudio Sacerdoti...	New architecture for the environment.	blob \| commitdiff \| raw \| diff to current
2001-12-03	Claudio Sacerdoti...	* Major code cleanup.	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.