]> matita.cs.unibo.it Git - helm.git/history - helm/http_getter
* wrong variable for version
[helm.git] / helm / http_getter /
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
2002-12-26 Stefano Zacchiroli- removed some debugging prints
2002-12-26 Stefano ZacchiroliDbm dumper for dbs created using Dbm ocaml module
2002-12-25 Stefano Zacchiroliadded Makefiles
2002-12-25 Stefano Zacchiroliadded http_getter OCaml implementation
2002-10-24 Claudio Sacerdoti... Bug fixed: I don't know what the bug was exactly, but...
2002-10-10 Claudio Sacerdoti... Handling of the splitting of constants into body +...
2002-10-10 Claudio Sacerdoti... HTTP_GETTER_PORT environment variable added
2002-10-07 Claudio Sacerdoti... HTTP_GETTER_DTD_BASE_DIR configuration parameter added
2002-06-24 Claudio Sacerdoti... class parameter added to the getallrdfuris method.
2002-05-22 Claudio Sacerdoti... getallrdfuris implemented
2002-05-21 Claudio Sacerdoti... Experimental commit that implements the getalluris...
2001-11-14 Claudio Sacerdoti... HTTP_GETTER_URIS_DBM added
2001-11-14 Claudio Sacerdoti... HTTP_GETTER_SERVERS_FILE introduced
2001-11-12 Claudio Sacerdoti... Bug fixed.
2001-11-12 Claudio Sacerdoti... Version number updated.
2001-11-12 Stefano Zacchiroli- modified /getxslt method, now stylesheets are downloa...
2001-11-12 Claudio Sacerdoti... Better error handling when port is not available.
2001-11-11 Stefano ZacchiroliAdded "/getempty" method.
2001-10-24 Claudio Sacerdoti... The cache now supports different RDF URI schema at...
2001-06-27 Stefano Zacchiroliadded support for new environment variables
next