]> matita.cs.unibo.it Git - helm.git/history - helm/http_getter
mathql_db_map.txt now retrieved by Helm_registry.
[helm.git] / helm / http_getter /
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
2003-01-07 Stefano Zacchiroli- support file:// URL scheme in http_get
2003-01-07 Stefano Zacchiroli- added some cache-control header telling not to cache...
2003-01-07 Stefano Zacchiroli- optimization: precompile all precompilable regexps
2003-01-07 Stefano Zacchiroli- added "cp", a wrapper around omonymous command
2003-01-05 Stefano Zacchiroli- added a TODO comment for 'file://' scheme support
2002-12-27 Stefano Zacchiroli- changed copyright year to 2003
2002-12-27 Stefano Zacchiroli- fixed typo in Content-Encoding header name
2002-12-27 Stefano Zacchiroli- added comments
2002-12-27 Stefano Zacchirolicomment mangling
2002-12-27 Stefano Zacchiroli- comments mangling
2002-12-27 Stefano Zacchiroli- use and override debug_print from Http_getter_debugger
2002-12-27 Stefano Zacchiroli- removed debug_print, now in Http_getter_debugger
2002-12-27 Stefano Zacchiroli- precompiled some regexps
2002-12-27 Stefano Zacchiroliadded http_getter_debugger
2002-12-27 Stefano Zacchirolifooish module for 'debug_print'
2002-12-27 Stefano Zacchiroli- moved wget, gzip, gunzip, tempfile from Http_getter_c...
2002-12-26 Stefano Zacchiroli- clear also .db db files
2002-12-26 Stefano Zacchirolicatch CTRL-C and save maps before quitting
2002-12-26 Stefano Zacchiroli- bugfix: shows all log while doing 'update'
2002-12-26 Stefano Zacchiroli- added maps sync
2002-12-26 Stefano Zacchiroli- added support for 'patch_dtd' parameter in 'respond_dtd'
2002-12-26 Stefano Zacchiroli- bugfix: removed trailing "/" from 'my_own_url'
2002-12-26 Stefano Zacchiroli- reimplemented 'clear' method deleting old DBs and...
2002-12-26 Stefano Zacchiroli- added module StringSet that implement set of string
2002-12-26 Stefano Zacchiroli- bugfix: typo in XSL patching
next