]> matita.cs.unibo.it Git - helm.git/commit
interpret non ambiguous symbols ASAP
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 Jul 2010 15:09:38 +0000 (15:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 Jul 2010 15:09:38 +0000 (15:09 +0000)
commit7c793c80721ff0b0a1d2898ba93721aa03aa4a98
treee573b2c63d883a69c870a7f0e84388f476d9b6ee
parent16f2f9f9915f483089fd0f532e25ff51e2252bac
interpret non ambiguous symbols ASAP
helm/software/components/disambiguation/disambiguate.ml