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

2005-06-09	Claudio Sacerdoti...	CicSubstitution.delift ==> CicMetaSubst.delift_rels	blob \| commitdiff \| raw
2005-06-09	Claudio Sacerdoti...	Exception raised by delift changed:	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-01-31	Enrico Tassi	added delift	blob \| commitdiff \| raw \| diff to current
2005-01-05	Stefano Zacchiroli	exported lift_from	blob \| commitdiff \| raw \| diff to current
2004-01-19	Stefano Zacchiroli	added a CSC's TODO comment	blob \| commitdiff \| raw \| diff to current
2003-12-17	Claudio Sacerdoti...	* Reindentation	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-22	Claudio Sacerdoti...	delift moved from cicSubstitution to cicUnification	blob \| commitdiff \| raw \| diff to current
2002-05-20	Claudio Sacerdoti...	New experimental commit: metavariables representation...	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.