]> matita.cs.unibo.it Git - helm.git/commit
one more lazy/loc
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 21 Nov 2008 16:25:55 +0000 (16:25 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 21 Nov 2008 16:25:55 +0000 (16:25 +0000)
commit573d8c989cca4fc19e3879cc2c0e51c5c3be6878
treea559ce52f28362407d5f26769636e6cd7d1cda56
parent8d58fba703fcb1cfddd2a78a0b157a087bcf2a5b
one more lazy/loc
helm/software/components/cic_disambiguation/disambiguate.ml
helm/software/components/cic_disambiguation/disambiguateChoices.ml
helm/software/components/cic_disambiguation/disambiguateTypes.ml
helm/software/components/cic_disambiguation/disambiguateTypes.mli
helm/software/components/cic_disambiguation/number_notation.ml
helm/software/components/ng_disambiguation/nDisambiguate.ml