]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/getter/http_getter_const.ml
first moogle template checkin
[helm.git] / helm / ocaml / getter / http_getter_const.ml
2004-04-01 Stefano Zacchiroliadded hyperlinks to help message
2004-02-24 Claudio Sacerdoti... Added parameter format=text|xml to getalluris.
2004-02-11 Stefano Zacchiroli- getter revolution: split backend and frontend (this...