]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f55b580) | patch
- API change (renamed some exceptions)
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Oct 2004 13:16:58 +0000 (13:16 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Oct 2004 13:16:58 +0000 (13:16 +0000)
commitae1f66ceadc14c7d0824bb375c5af175b15f083c
tree2dda84f736b81f96b46f754719bbcb49011cf1bftree | snapshot
parentf55b5800229c0819448abf38dfeb1527b4ec08e2commit | diff
- API change (renamed some exceptions)
- ported to the latest PXP version
helm/ocaml/getter/http_getter.ml diff | blob | history
helm/ocaml/getter/http_getter.mli diff | blob | history
helm/ocaml/getter/http_getter_map.ml diff | blob | history
helm/ocaml/getter/http_getter_map.mli diff | blob | history
helm/ocaml/getter/http_getter_types.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.