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.mli

2005-01-25	Enrico Tassi	added list_obj and list_uri	blob \| commitdiff \| raw
2005-01-24	Stefano Zacchiroli	- renamed Term_not_found exception (useless) with Objec...	blob \| commitdiff \| raw \| diff to current
2005-01-17	Enrico Tassi	new cicEnvironment implementation	blob \| commitdiff \| raw \| diff to current
2004-12-01	Enrico Tassi	Added universes handling. The PRE_UNIVERSES tag may...	blob \| commitdiff \| raw \| diff to current
2004-11-18	Stefano Zacchiroli	added set_trust to externally set the trust function...	blob \| commitdiff \| raw \| diff to current
2004-10-22	Stefano Zacchiroli	- ported to new getter API	blob \| commitdiff \| raw \| diff to current
2004-06-01	Enrico Tassi	new universes implementation	blob \| commitdiff \| raw \| diff to current
2004-04-05	Andrea Asperti	Added a new function in_cache to cicEnvironemt. It...	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-10-21	Michele Galatà	Comments reindented.	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.