matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_proof_checking/cicTypeChecker.mli

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_proof_checking/cicTypeChecker.mli

projects / helm.git / history

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

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

2005-11-03	Claudio Sacerdoti...	1. a simplified version of check_allowed_sort_eliminati...	blob \| commitdiff \| raw
2005-10-25	Claudio Sacerdoti...	Every exception that used to have type string is now...	blob \| commitdiff \| raw \| diff to current
2005-06-29	Claudio Sacerdoti...	does_not_occur unexported since it did not have the...	blob \| commitdiff \| raw \| diff to current
2005-06-15	Ferruccio Guidi	beginning of the tactics lapply and fwd	blob \| commitdiff \| raw \| diff to current
2005-06-15	Claudio Sacerdoti...	Big commit and major code clean-up:	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-07-20	Andrea Asperti	Subst has been added to the kernel.	blob \| commitdiff \| raw \| diff to current
2004-06-01	Enrico Tassi	new universes implementation	blob \| commitdiff \| raw \| diff to current
2004-02-03	Stefano Zacchiroli	removed SortExpectedMetaFound special exception	blob \| commitdiff \| raw \| diff to current
2004-02-02	Stefano Zacchiroli	- added SortExpectedMetaFound exception (huge hack)	blob \| commitdiff \| raw \| diff to current
2004-01-22	Stefano Zacchiroli	better exception and error messages	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-05-20	Claudio Sacerdoti...	New experimental commit: metavariables representation...	blob \| commitdiff \| raw \| diff to current
2002-04-19	Claudio Sacerdoti...	* env renamed to context everywhere in cicTypeChecker.ml	blob \| commitdiff \| raw \| diff to current
2002-04-16	Claudio Sacerdoti...	type_of_aux' (to get the type of a term in a given...	blob \| commitdiff \| raw \| diff to current
2002-04-16	Andrea Asperti	type_of_aux' exported.	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.