]> matita.cs.unibo.it Git - helm.git/history - helm/http_getter/ChangeLog
snapshot
[helm.git] / helm / http_getter / ChangeLog
2003-04-07 Stefano Zacchiroliignore comments and blank line in servers file
2003-04-07 Stefano Zacchiroliupdat changelog with list_servers method addition
2003-04-07 Stefano Zacchiroli- added "/add_server" and "/remove_server" to dynamical...
2003-01-08 Stefano Zacchirolinew http_getter sources layout:
2000-12-28 Claudio Sacerdoti... autoconf now used