]> matita.cs.unibo.it Git - helm.git/commit
- added maps sync
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Dec 2002 19:30:00 +0000 (19:30 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Dec 2002 19:30:00 +0000 (19:30 +0000)
commite7ab167b72dc48d260d82060949e8ebe7d27764c
tree2658f8a127b73f47ea43e08f30c0e43e93a00955
parent853195c8cae7b029f3e500a5b712a67cf4467e84
- added maps sync
helm/http_getter/http_getter.ml
helm/http_getter/http_getter_map.ml
helm/http_getter/http_getter_map.mli