]> matita.cs.unibo.it Git - helm.git/commit
loc * lazy string -> (loc * string) lazy
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 21 Nov 2008 16:00:06 +0000 (16:00 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 21 Nov 2008 16:00:06 +0000 (16:00 +0000)
commit33bdd7e8c67299d34f05ac587488dd324fc6ba42
tree2c3f9a078ac9a497bcdbb4292593e6d74cfa6694
parent424982ded255df68245241f56064202844ed1194
loc * lazy string -> (loc * string) lazy
helm/software/components/cic_disambiguation/disambiguate.ml
helm/software/components/cic_disambiguation/disambiguate.mli
helm/software/components/grafite_parser/grafiteDisambiguator.ml
helm/software/components/grafite_parser/grafiteDisambiguator.mli
helm/software/components/ng_disambiguation/nDisambiguate.ml
helm/software/components/ng_kernel/nCicUntrusted.mli
helm/software/components/ng_refiner/nCicRefiner.mli
helm/software/matita/matitaExcPp.ml
helm/software/matita/matitaExcPp.mli
helm/software/matita/matitaGui.ml