]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/getter
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- fixed dtd_base_urls implementation
[helm.git] / helm / ocaml / getter /
2004-04-15 Stefano Zacchiroli- fixed dtd_base_urls implementation tree | commitdiff
2004-04-15 Stefano Zacchiroli- better pretty printing on /update tree | commitdiff
2004-04-15 Stefano Zacchiroliadded support for multiple dtd_base_urls tree | commitdiff
2004-04-07 Stefano Zacchiroliadded a missing <br> tag tree | commitdiff
2004-04-06 Stefano Zacchiroli- added test file tree | commitdiff
2004-04-06 Stefano Zacchiroli- added via_http parameter so that when the getter... tree | commitdiff
2004-04-06 Stefano Zacchiroli- use polymorphic variants for some configuration param... tree | commitdiff
2004-04-05 Claudio Sacerdoti... URL patching in ENTITY declarations extended to cover... tree | commitdiff
2004-04-02 Stefano Zacchiroli- logging of long-running actions (like update) is... tree | commitdiff
2004-04-01 Stefano Zacchiroli- removed http_get/http_get_iter implementations, use... tree | commitdiff
2004-04-01 Stefano Zacchiroliadded hyperlinks to help message tree | commitdiff
2004-03-12 acerioniType of exception changed: from exn to string. tree | commitdiff
2004-02-26 Stefano Zacchiroli- better handling of temp files wrt to failures. When... tree | commitdiff
2004-02-24 Claudio Sacerdoti... Added parameter format=text|xml to getalluris. tree | commitdiff
2004-02-23 Claudio Sacerdoti... A lazy value was put in place of a function ==> the... tree | commitdiff
2004-02-23 Claudio Sacerdoti... "add_server?position=0" no longer worked (raised an... tree | commitdiff
2004-02-18 Claudio Sacerdoti... The order IS significative. Changing the order (in... tree | commitdiff
2004-02-18 Claudio Sacerdoti... typo fixed. Used to break the ls method. tree | commitdiff
2004-02-12 Ferruccio Guidinew .depend files tree | commitdiff
2004-02-11 Stefano Zacchiroli- getter revolution: split backend and frontend (this... tree | commitdiff
2004-01-22 Claudio Sacerdoti... Typo fixed. tree | commitdiff
2003-12-16 Stefano Zacchiroliuse ocaml-http instead of netclient for http GET requests tree | commitdiff
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch. tree | commitdiff
2002-08-30 Ferruccio Guidiuser name added to tmp file name tree | commitdiff
2002-01-10 Claudio Sacerdoti... CIC Textual Parser added to the repository. tree | commitdiff
2001-11-29 Claudio Sacerdoti... * .mli added where needed tree | commitdiff
2001-11-27 Claudio Sacerdoti... 1) .cma/.cmxa used to simplify META files. tree | commitdiff
2001-11-26 Claudio Sacerdoti... .cvsignore and .depend forgot tree | commitdiff
2001-11-26 Claudio Sacerdoti... HELM OCaml libraries with findlib support. tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.