]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b611815) | patch
- getter revolution: split backend and frontend (this is the backend)
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Feb 2004 11:57:00 +0000 (11:57 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Feb 2004 11:57:00 +0000 (11:57 +0000)
commit384c369d4cbf5dd6cf1013902d3a218260400e73
tree62e7376d13106bd024f6ce03fba856e4d9fbe288tree | snapshot
parentb6118150362700ed8f44b82cf6164d1c52c6d48fcommit | diff
- getter revolution: split backend and frontend (this is the backend)
- working remote part but not yet the local one (extra unneeded headers)
23 files changed:
helm/ocaml/getter/.depend diff | blob | history
helm/ocaml/getter/Makefile diff | blob | history
helm/ocaml/getter/configuration.ml [deleted file] blob | history
helm/ocaml/getter/configuration.mli [deleted file] blob | history
helm/ocaml/getter/getter.ml [deleted file] blob | history
helm/ocaml/getter/getter.mli [deleted file] blob | history
helm/ocaml/getter/http_getter.ml [new file with mode: 0644] blob
helm/ocaml/getter/http_getter.mli [new file with mode: 0644] blob
helm/ocaml/getter/http_getter_cache.ml [new file with mode: 0644] blob
helm/ocaml/getter/http_getter_cache.mli [new file with mode: 0644] blob
helm/ocaml/getter/http_getter_common.ml [new file with mode: 0644] blob
helm/ocaml/getter/http_getter_common.mli [new file with mode: 0644] blob
helm/ocaml/getter/http_getter_const.ml [new file with mode: 0644] blob
helm/ocaml/getter/http_getter_const.mli [new file with mode: 0644] blob
helm/ocaml/getter/http_getter_debugger.ml [new file with mode: 0644] blob
helm/ocaml/getter/http_getter_debugger.mli [new file with mode: 0644] blob
helm/ocaml/getter/http_getter_env.ml [new file with mode: 0644] blob
helm/ocaml/getter/http_getter_env.mli [new file with mode: 0644] blob
helm/ocaml/getter/http_getter_map.ml [new file with mode: 0644] blob
helm/ocaml/getter/http_getter_map.mli [new file with mode: 0644] blob
helm/ocaml/getter/http_getter_misc.ml [new file with mode: 0644] blob
helm/ocaml/getter/http_getter_misc.mli [new file with mode: 0644] blob
helm/ocaml/getter/http_getter_types.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.