]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/cic_disambiguation/disambiguateChoices.ml
fast and sound registry lists
[helm.git] / helm / software / components / cic_disambiguation / disambiguateChoices.ml
2007-10-25 Claudio Sacerdoti... 1. More localization: interpretation errors are now...
2006-11-27 Claudio Sacerdoti... Fixed bug in notation: when a notation is applied to...
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/