]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17812d2) | patch
- logging of long-running actions (like update) is now sent to the
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 2 Apr 2004 11:51:04 +0000 (11:51 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 2 Apr 2004 11:51:04 +0000 (11:51 +0000)
commit3af56c5a48f7cad33fd701e0061fe143e0e2a7c5
tree42256fa280456a8690bc29cf3854adea1711cad3tree | snapshot
parent17812d2224e765d4ff43bc5f35a7bb09b5ccb0d3commit | diff
- logging of long-running actions (like update) is now sent to the
  client incrementally
- moved some frontend related functions (like return_html*) from
  Http_getter_common to the frontend (main.ml)
helm/http_getter/main.ml diff | blob | history
helm/ocaml/getter/http_getter.ml diff | blob | history
helm/ocaml/getter/http_getter.mli diff | blob | history
helm/ocaml/getter/http_getter_cache.ml diff | blob | history
helm/ocaml/getter/http_getter_common.ml diff | blob | history
helm/ocaml/getter/http_getter_common.mli diff | blob | history
helm/ocaml/getter/http_getter_debugger.mli diff | blob | history
helm/ocaml/getter/http_getter_types.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.