]> matita.cs.unibo.it Git - helm.git/history - helm/http_getter
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fixed auto when the context has some deleted hypothesis
[helm.git] / helm / http_getter /
2005-07-06 Stefano Zacchirolino longer handle Shell exceptions (no more used by... tree | commitdiff
2005-07-06 Stefano Zacchirolireimplemented on top of latest getter library (no more... tree | commitdiff
2005-07-01 Stefano Zacchirolimore logging information on received request tree | commitdiff
2005-07-01 Stefano Zacchiroliuses relative OCAMLPATH tree | commitdiff
2005-05-13 Stefano Zacchiroli- ported to new ocaml-http API tree | commitdiff
2005-02-04 Stefano Zacchiroliescape exception name and arguments embedded in root... tree | commitdiff
2005-02-04 Stefano Zacchiroli"thin" version of the configuration file (exploits... tree | commitdiff
2005-02-04 Stefano Zacchiroli- added some default values (no longer explicitely... tree | commitdiff
2005-01-24 Stefano Zacchiroliexception carried in response xml documents are now... tree | commitdiff
2005-01-24 Stefano Zacchiroliadded helm:exception handling of Http_getter_types... tree | commitdiff
2005-01-17 Stefano ZacchiroliNo longer return HTTP 400 answers or non-xml answers... tree | commitdiff
2004-10-21 Stefano Zacchiroliuse latest Http_getter module API tree | commitdiff
2004-05-26 Stefano Zacchiroliported to regexp based /ls method tree | commitdiff
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API tree | commitdiff
2004-04-16 Stefano Zacchiroli- addead autoconf-iguration. Actually it only set the... tree | commitdiff
2004-04-16 Stefano Zacchiroli- use new logger interface tree | commitdiff
2004-04-15 Stefano Zacchirolis/dtd_base_url/dtd_base_urls/ tree | commitdiff
2004-04-15 Stefano Zacchiroli- better pretty printing of exceptions (added red color) tree | commitdiff
2004-04-09 Stefano Zacchiroliported to latest polymorphic variant types tree | commitdiff
2004-04-05 Claudio Sacerdoti... http_getter.conf.xml ==> /projects/helm/etc/http_getter... tree | commitdiff
2004-04-02 Stefano Zacchirolis/per_user_settings/user_settings/ for consistency... tree | commitdiff
2004-04-02 Stefano Zacchiroli- logging of long-running actions (like update) is... tree | commitdiff
2004-04-01 Stefano Zacchiroliremoved out of date configuration file tree | commitdiff
2004-02-24 Claudio Sacerdoti... Added parameter format=text|xml to getalluris. tree | commitdiff
2004-02-18 Claudio Sacerdoti... ... tree | commitdiff
2004-02-16 Claudio Sacerdoti... ... tree | commitdiff
2004-02-16 Claudio Sacerdoti... ... tree | commitdiff
2004-02-16 Claudio Sacerdoti... - Configuration file moved to /projects/helm/etc. tree | commitdiff
2004-02-13 Stefano Zacchiroliadded sample configuration file tree | commitdiff
2004-02-11 Stefano Zacchiroligetter's revolution (now uses backend in ocaml/getter) tree | commitdiff
2004-02-09 Stefano Zacchirolisplit into two major parts: tree | commitdiff
2004-02-09 Stefano Zacchirolibumped version (tag soon) tree | commitdiff
2004-01-19 Claudio Sacerdoti... Errore message improved. tree | commitdiff
2003-12-16 Stefano Zacchirolicosmetic changes tree | commitdiff
2003-12-16 Stefano Zacchiroliremoved useless ocamlfind query of the netclient package tree | commitdiff
2003-12-16 Stefano Zacchiroliremoved dependency on netclient, use http_client module... tree | commitdiff
2003-12-03 Stefano Zacchiroliesplicitely add -thread parameter to all compiler invoc... tree | commitdiff
2003-12-03 Stefano Zacchiroliuse a list of getter maps tree | commitdiff
2003-12-03 Stefano Zacchirolirebuilt tree | commitdiff
2003-09-26 Luca Padovani* the regular expressions must have $ otherwise the... tree | commitdiff
2003-09-23 Claudio Sacerdoti... - added support for proof trees tree | commitdiff
2003-09-19 Claudio Sacerdoti... clean_cache method added tree | commitdiff
2003-09-19 Claudio Sacerdoti... cleancache ==> clean_cache tree | commitdiff
2003-09-19 Claudio Sacerdoti... Clean cache method added. tree | commitdiff
2003-09-17 Claudio Sacerdoti... www-sop.inria.fr tree | commitdiff
2003-04-16 Stefano Zacchirolibugfix: print a better exception than "Not_found" when... tree | commitdiff
2003-04-07 Stefano Zacchiroligetter's panel check in tree | commitdiff
2003-04-07 Stefano Zacchiroliadded a TODO bug comment tree | commitdiff
2003-04-07 Stefano Zacchiroliignore comments and blank line in servers file tree | commitdiff
2003-04-07 Stefano Zacchirolimoved "is_blank_line" from Http_getter_common to Http_g... tree | commitdiff
2003-04-07 Stefano Zacchiroliadded list_servers, {add,remove}_server methods to... tree | commitdiff
2003-04-07 Stefano Zacchiroliupdat changelog with list_servers method addition tree | commitdiff
2003-04-07 Stefano Zacchiroliadded "/list_servers" method (actually used by the... tree | commitdiff
2003-04-07 Stefano Zacchiroli- added "/add_server" and "/remove_server" to dynamical... tree | commitdiff
2003-04-07 Stefano Zacchiroli- added functions "add_server" and "remove_server"... tree | commitdiff
2003-04-07 Stefano Zacchiroli- added functions "add_line" and "remove_line" to edit... tree | commitdiff
2003-04-07 Stefano Zacchiroliadded "replace" method which interfaces Dbm.replace... tree | commitdiff
2003-04-07 Stefano Zacchirolilink also zack's helpers tree | commitdiff
2003-04-07 Stefano Zacchirolirebuilt tree | commitdiff
2003-04-07 Stefano Zacchiroliadded zack's helpers tree | commitdiff
2003-03-21 Stefano Zacchirolibugfix: takes doc from "doc" dir tree | commitdiff
2003-03-21 Stefano Zacchiroliadded EXTRA_DIST and docs tree | commitdiff
2003-03-21 Stefano Zacchiroliempty BUGS file tree | commitdiff
2003-03-21 Stefano Zacchiroliremoved ancient HELM stuff tree | commitdiff
2003-03-21 Stefano Zacchiroliadded sample configuration file tree | commitdiff
2003-03-21 Stefano Zacchiroli- implemented distcheck target tree | commitdiff
2003-03-21 Stefano Zacchirolirebuilt tree | commitdiff
2003-03-21 Stefano Zacchirolibumped version to 0.2.1 tree | commitdiff
2003-03-12 Stefano Zacchiroli- reimplemented cache handling tree | commitdiff
2003-03-12 Stefano Zacchiroliadded "output" parameter to gzip and gunzip used to... tree | commitdiff
2003-03-12 Stefano Zacchiroliadded support for patch_fun also for gzipped documents tree | commitdiff
2003-03-12 Stefano Zacchiroliembedded configuration infos in usage string tree | commitdiff
2003-03-12 Stefano Zacchiroliremoved dump_env in favour of env_to_string which retur... tree | commitdiff
2003-03-12 Stefano Zacchiroli- embedded configuration information in help string tree | commitdiff
2003-03-12 Stefano Zacchirolirebuilt tree | commitdiff
2003-02-25 Stefano Zacchiroli- added support for NuPRL URIs in xml_url_of_uri tree | commitdiff
2003-02-25 Stefano Zacchiroli- added default value for parse_patch function tree | commitdiff
2003-02-25 Stefano Zacchiroliadded is_blank_line facility to match line that should... tree | commitdiff
2003-02-25 Stefano Zacchiroliadded generation of DOT modules dependency graph tree | commitdiff
2003-02-07 Claudio Sacerdoti... Added support for NuPRL URIs. tree | commitdiff
2003-01-09 Stefano Zacchiroli- shows also version in usage string tree | commitdiff
2003-01-09 Stefano Zacchiroli- added return_html_raw to Http_getter_common tree | commitdiff
2003-01-09 Stefano Zacchiroli- added some TODO comments tree | commitdiff
2003-01-08 Stefano Zacchiroli- added TODO about cache expires control tree | commitdiff
2003-01-08 Stefano Zacchiroli- added debugging log messages inside 'wget' tree | commitdiff
2003-01-08 Stefano Zacchiroliperform ancient HTTP request to avoid parsing response... tree | commitdiff
2003-01-08 Stefano Zacchiroli- rewritten cp, wget, mkdir in OCaml tree | commitdiff
2003-01-08 Stefano Zacchiroli- added debugging log messages in g{,un}zip tree | commitdiff
2003-01-08 Stefano Zacchirolirewritten 'gzip' and 'gunzip' using Zip module instead... tree | commitdiff
2003-01-08 Stefano Zacchiroli- moved version setting to Http_getter_const tree | commitdiff
2003-01-08 Stefano Zacchirolirebuilt for ocaml stuff tree | commitdiff
2003-01-08 Stefano Zacchiroli- added 'version' field, actually set to 0.2.0 tree | commitdiff
2003-01-08 Stefano Zacchirolinew http_getter sources layout: tree | commitdiff
2003-01-07 Stefano Zacchiroli- fixed helm web page url and copyright notice tree | commitdiff
2003-01-07 Stefano Zacchirolireindented tree | commitdiff
2003-01-07 Stefano Zacchiroli- label name changes: s/patch_dtd/patch because "patch_... tree | commitdiff
2003-01-07 Stefano Zacchiroli- reload servers list on before /update tree | commitdiff
2003-01-07 Stefano Zacchiroli- added support for 'reload' method which is supposed... tree | commitdiff
2003-01-07 Claudio Sacerdoti... Resolve fixed: when an URI was well-formed but not... tree | commitdiff
2003-01-07 Stefano Zacchiroli- removed no longer used xsl_dir parameter tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.