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

]> matita.cs.unibo.it Git - helm.git/history - components/cic_disambiguation/disambiguate.ml

[helm.git] / components / cic_disambiguation / disambiguate.ml

2007-02-06	Claudio Sacerdoti...	Debugging deactivated.	blob \| commitdiff \| raw
2007-02-06	Claudio Sacerdoti...	Bug fixed in the computation of the disambiguation...	blob \| commitdiff \| raw \| diff to current
2007-01-31	Claudio Sacerdoti...	Several bugs fixed:	blob \| commitdiff \| raw \| diff to current
2006-12-12	Ferruccio Guidi	we parametrized CicNotationPt.obj on 'term	blob \| commitdiff \| raw \| diff to current
2006-12-08	Claudio Sacerdoti...	EXPERIMENTAL:	blob \| commitdiff \| raw \| diff to current
2006-12-05	Stefano Zacchiroli	experimental classification of disambiguation error...	blob \| commitdiff \| raw \| diff to current
2006-11-05	Claudio Sacerdoti...	Bug fixed: the disambiguation domain for a record with...	blob \| commitdiff \| raw \| diff to current
2006-10-30	Claudio Sacerdoti...	TermAcicContent.Interpretation_not_found catched and...	blob \| commitdiff \| raw \| diff to current
2006-10-18	Claudio Sacerdoti...	Missing optimization implemented: before starting to...	blob \| commitdiff \| raw \| diff to current
2006-10-18	Claudio Sacerdoti...	- Disambiguation error exception enriched with more...	blob \| commitdiff \| raw \| diff to current
2006-10-18	Claudio Sacerdoti...	Bug fixed: the diff component of the exception raised...	blob \| commitdiff \| raw \| diff to current
2006-10-18	Claudio Sacerdoti...	Disambiguation errors now carry more information (i...	blob \| commitdiff \| raw \| diff to current
2006-10-13	Claudio Sacerdoti...	New content level representations for LetRec, Inductive...	blob \| commitdiff \| raw \| diff to current
2006-09-22	Claudio Sacerdoti...	Bug fixed: aliases for numbers were no longer handled...	blob \| commitdiff \| raw \| diff to current
2006-09-04	Enrico Tassi	BIG FAT COMMIT REGARDING COERCIONS:	blob \| commitdiff \| raw \| diff to current
2006-07-24	Andrea Asperti	Bug fixed: a symbol alias Symb(s,0) now subsumes the...	blob \| commitdiff \| raw \| diff to current
2006-07-20	Claudio Sacerdoti...	Revert of the previous situation: when an identifier...	blob \| commitdiff \| raw \| diff to current
2006-05-25	Claudio Sacerdoti...	Axioms are not allowed with the syntax: "axiom name...	blob \| commitdiff \| raw \| diff to current
2006-05-09	Enrico Tassi	types2006 patch	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	blob \| commitdiff \| raw \| diff to current

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

RSS Atom