]> matita.cs.unibo.it Git - helm.git/commit
ported to latest registry interface
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 15 Jun 2005 11:32:23 +0000 (11:32 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 15 Jun 2005 11:32:23 +0000 (11:32 +0000)
commit98b94263fd97dc8d580e85ceabae30bf731d58e3
tree6493910fe859eb07017b3594c862f66eaa1dbebe
parent1bb2cfafdfd2a3648ca8d2eac8b1952210fc5e65
ported to latest registry interface
helm/matita/matitaGui.ml
helm/ocaml/getter/http_getter.ml
helm/ocaml/getter/http_getter_env.ml
helm/searchEngine/searchEngine.ml
helm/uwobo/uwobo_profiles.ml