]> matita.cs.unibo.it Git - helm.git/commit
reverder change. no more owner passed to the locate.
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Feb 2005 15:40:15 +0000 (15:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Feb 2005 15:40:15 +0000 (15:40 +0000)
commita1bfef9d9930c9a136abe0593d8da457b4e21fc3
treefe018c099b925b48d8ee2b09e6ed73f20baeffba
parent3d45448d06307244c530a9e52d33e4a3723eec55
reverder change. no more owner passed to the locate.
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_disambiguation/disambiguate.mli
helm/ocaml/tactics/metadataQuery.ml
helm/ocaml/tactics/metadataQuery.mli