matita.cs.unibo.it Git - helm.git/history

]> matita.cs.unibo.it Git - helm.git/history - helm/http_getter/main.ml

[helm.git] / helm / http_getter / main.ml

2005-07-06	Stefano Zacchiroli	no longer handle Shell exceptions (no more used by...	blob \| commitdiff \| raw
2005-07-06	Stefano Zacchiroli	reimplemented on top of latest getter library (no more...	blob \| commitdiff \| raw \| diff to current
2005-07-01	Stefano Zacchiroli	more logging information on received request	blob \| commitdiff \| raw \| diff to current
2005-05-13	Stefano Zacchiroli	- ported to new ocaml-http API	blob \| commitdiff \| raw \| diff to current
2005-02-04	Stefano Zacchiroli	escape exception name and arguments embedded in root...	blob \| commitdiff \| raw \| diff to current
2005-02-04	Stefano Zacchiroli	- added some default values (no longer explicitely...	blob \| commitdiff \| raw \| diff to current
2005-01-24	Stefano Zacchiroli	exception carried in response xml documents are now...	blob \| commitdiff \| raw \| diff to current
2005-01-24	Stefano Zacchiroli	added helm:exception handling of Http_getter_types...	blob \| commitdiff \| raw \| diff to current
2005-01-17	Stefano Zacchiroli	No longer return HTTP 400 answers or non-xml answers...	blob \| commitdiff \| raw \| diff to current
2004-10-21	Stefano Zacchiroli	use latest Http_getter module API	blob \| commitdiff \| raw \| diff to current
2004-05-26	Stefano Zacchiroli	ported to regexp based /ls method	blob \| commitdiff \| raw \| diff to current
2004-05-20	Stefano Zacchiroli	ported to latest ocaml-http API	blob \| commitdiff \| raw \| diff to current
2004-04-16	Stefano Zacchiroli	- addead autoconf-iguration. Actually it only set the...	blob \| commitdiff \| raw \| diff to current
2004-04-16	Stefano Zacchiroli	- use new logger interface	blob \| commitdiff \| raw \| diff to current
2004-04-15	Stefano Zacchiroli	- better pretty printing of exceptions (added red color)	blob \| commitdiff \| raw \| diff to current
2004-04-09	Stefano Zacchiroli	ported to latest polymorphic variant types	blob \| commitdiff \| raw \| diff to current
2004-04-05	Claudio Sacerdoti...	http_getter.conf.xml ==> /projects/helm/etc/http_getter...	blob \| commitdiff \| raw \| diff to current
2004-04-02	Stefano Zacchiroli	- logging of long-running actions (like update) is...	blob \| commitdiff \| raw \| diff to current
2004-02-24	Claudio Sacerdoti...	Added parameter format=text\|xml to getalluris.	blob \| commitdiff \| raw \| diff to current
2004-02-16	Claudio Sacerdoti...	- Configuration file moved to /projects/helm/etc.	blob \| commitdiff \| raw \| diff to current
2004-02-11	Stefano Zacchiroli	getter's revolution (now uses backend in ocaml/getter)	blob \| commitdiff \| raw \| diff to current
2004-02-09	Stefano Zacchiroli	split into two major parts:	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom