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

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

2004-04-16	Stefano Zacchiroli	- addead autoconf-iguration. Actually it only set the...	blob \| commitdiff \| raw
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.