matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_unification/cicMetaSubst.mli

[helm.git] / helm / ocaml / cic_unification / cicMetaSubst.mli

2005-11-19	Claudio Sacerdoti...	Less verbose error messages (= substitution applied...	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-09-15	Stefano Zacchiroli	uniformed ppmetasenv to other pp* methods: substs are...	blob \| commitdiff \| raw \| diff to current
2005-06-09	Claudio Sacerdoti...	Now CicMetaSubst.delift_rels restricts the Metas when...	blob \| commitdiff \| raw \| diff to current
2005-06-09	Claudio Sacerdoti...	CicSubstitution.delift ==> CicMetaSubst.delift_rels	blob \| commitdiff \| raw \| diff to current
2004-10-22	Andrea Asperti	- ported to typed explicit substitutions	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-07-05	Stefano Zacchiroli	commeted out some debugging instructions	blob \| commitdiff \| raw \| diff to current
2004-07-01	Stefano Zacchiroli	New handling of substitution:	blob \| commitdiff \| raw \| diff to current
2004-06-28	Andrea Asperti	- new implementation of the apply case in fo_unif using...	blob \| commitdiff \| raw \| diff to current
2004-06-18	Claudio Sacerdoti...	- In the case (?i args) vs term the term is now eta...	blob \| commitdiff \| raw \| diff to current
2004-04-06	Stefano Zacchiroli	reorganized functions order	blob \| commitdiff \| raw \| diff to current
2004-02-11	Claudio Sacerdoti...	Big changes:	blob \| commitdiff \| raw \| diff to current
2004-02-06	Claudio Sacerdoti...	Code riorganization.	blob \| commitdiff \| raw \| diff to current
2004-02-06	Stefano Zacchiroli	added Format-library-friendly pretty printers defined...	blob \| commitdiff \| raw \| diff to current
2004-02-04	Claudio Sacerdoti...	ppterm_in_context exported	blob \| commitdiff \| raw \| diff to current
2004-02-02	Stefano Zacchiroli	- refine's type_of no longer return a substitution	blob \| commitdiff \| raw \| diff to current
2004-02-02	Stefano Zacchiroli	- removed unwind: every substitution is now _not_ unwinded	blob \| commitdiff \| raw \| diff to current
2004-01-29	Claudio Sacerdoti...	- lift added to CicMetaSubst	blob \| commitdiff \| raw \| diff to current
2004-01-27	Stefano Zacchiroli	- occur check test anticipated to the delift phase	blob \| commitdiff \| raw \| diff to current
2004-01-23	Stefano Zacchiroli	better comment for kernel wrappers	blob \| commitdiff \| raw \| diff to current
2004-01-22	Stefano Zacchiroli	added to CicMetaSubst subst wrapper for CicReduction...	blob \| commitdiff \| raw \| diff to current
2004-01-22	Stefano Zacchiroli	prettified	blob \| commitdiff \| raw \| diff to current
2004-01-22	Stefano Zacchiroli	added CicMetaSubst module for metavariable instantiatiation	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom