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

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

projects / helm.git / history

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

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

2006-12-05	Stefano Zacchiroli	experimental classification of disambiguation error...	blob \| commitdiff \| raw
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.