From: Stefano Zacchiroli Date: Mon, 7 Apr 2003 15:21:31 +0000 (+0000) Subject: updat changelog with list_servers method addition X-Git-Tag: before_refactoring~37 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=0dfd63ee1df63c155e760d8773dab4b8cc7e4721 updat changelog with list_servers method addition --- diff --git a/helm/http_getter/ChangeLog b/helm/http_getter/ChangeLog index 58efbc09e..a352d45d2 100644 --- a/helm/http_getter/ChangeLog +++ b/helm/http_getter/ChangeLog @@ -1,4 +1,4 @@ -- added "add_server", "remove_server" methods +- added "list_servers", "add_server", "remove_server" methods - bugfix: multiple definition of URI by different servers are now permitted 08/01/2003: OCaml reimplementation available! (version 0.2.1)