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

2004-02-03	Stefano Zacchiroli	removed SortExpectedMetaFound special exception	blob \| commitdiff \| raw
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.