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

[helm.git] / helm / ocaml / cic_proof_checking / cicEnvironment.mli

2005-10-25	Claudio Sacerdoti...	Every exception that used to have type string is now...	blob \| commitdiff \| raw
2005-09-23	Enrico Tassi	added universes list handling	blob \| commitdiff \| raw \| diff to current
2005-06-15	Claudio Sacerdoti...	Big commit and major code clean-up:	blob \| commitdiff \| raw \| diff to current
2005-04-29	Enrico Tassi	added parsing time benchmark	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
2005-02-14	Enrico Tassi	Fixed remove operation and get_obj (that now correctly...	blob \| commitdiff \| raw \| diff to current
2005-02-10	Stefano Zacchiroli	renaming "remove_term" -> "remove_obj"	blob \| commitdiff \| raw \| diff to current
2005-01-25	Enrico Tassi	added list_obj and list_uri	blob \| commitdiff \| raw \| diff to current
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.

RSS Atom