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