]> matita.cs.unibo.it Git - helm.git/history - helm/http_getter
All the equalityTactics have now been ported to use both the equality of
[helm.git] / helm / http_getter /
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
2001-06-27 Stefano Zacchiroli# bugfix: rdf tie that proxies rdf_urls_of_uris.db...
2001-06-26 Stefano Zacchiroliadded useful tools for perl debugging:
2001-06-26 Claudio Sacerdoti... Format of rdf URIs relaxed
2001-06-26 Claudio Sacerdoti... Version modified
2001-06-26 Claudio Sacerdoti... Now helm:rdf:... is a valid URI.
2001-06-26 Stefano Zacchiroli* added preliminary support for rdf metadata
2001-06-11 Claudio Sacerdoti... Default for patch_dtd modified to "yes".
2001-04-19 Claudio Sacerdoti... register method added
2001-04-11 Claudio Sacerdoti... Content-Cache, Expires and Pragma added for non-error...
2001-04-04 Claudio Sacerdoti... Bug fixed: the result was declared as gzipped even...
2001-03-20 Stefano Zacchiroli- added support for file ls (i.e. you can use a baseuri...
2001-03-17 Stefano ZacchiroliAdded support for CGI handling, still remain some probl...
2001-03-16 Stefano Zacchiroli- renamed /getciconly in /getxml
2001-03-16 Stefano ZacchiroliChanged default content type from "text/plain" to ...
2001-03-16 Stefano ZacchiroliVarious changes:
2001-03-16 Stefano ZacchiroliAdded "format" support to /getciconly method.
2001-03-16 Stefano Zacchiroliehm ... no comment
2001-03-16 Stefano ZacchiroliFixed a bug in the case cachemode=gzipped, resourcetype...
2001-03-16 Stefano ZacchiroliFixed bug in .ann extension handling.
2001-03-10 Stefano ZacchiroliAdded dtd reference in ls method while generating xml...
2001-03-08 Luca Padovanithe version command has been renamed into help, the...
2001-03-06 Stefano ZacchiroliAdded ordering in ann and types flags
2001-03-05 Stefano Zacchirolinew version of ls,
2001-03-05 Stefano ZacchiroliFixed a bug in CGI creation, method "update" now work...
2001-02-22 Stefano ZacchiroliChanged syntax for 'ls' method:
2001-02-21 Luca Padovaninow do unescaping of incoming URI
2001-02-21 Luca Padovaniadded the patch on-the-fly for DTDs, fixed the script...
2001-02-17 Stefano ZacchiroliAdded 'ls' method: return a list of uri that begin...
2001-02-17 Stefano Zacchirolihelm_wget subroutine now use LWP module and doesn't...
2001-02-13 Luca Padovanitmpdir ==> tmp_dir, minor fixes waiting for the stable...
2001-02-12 Stefano Zacchirolimodified "update" request handling, now getter rebuild...
2001-02-12 Luca Padovaniversion information
2001-02-08 Luca Padovanistyles_dir is now style_dir
2001-02-06 Luca Padovanisupport for dynamic retrieval of style configuration...
2001-02-05 Claudio Sacerdoti... Dynamic patch to transform the URL returned by $d-...
2001-02-05 Claudio Sacerdoti... Done for URLs for DTDs the same thing previously done...
2001-02-05 Claudio Sacerdoti... When downloading stylesheets, substitutes all relative...
2001-02-03 Stefano ZacchiroliReindented some parts
2001-02-02 Claudio Sacerdoti... HELM_DTD_DIR now also used
2001-02-02 Claudio Sacerdoti... getxslt added
2001-02-02 Luca Padovani*** empty log message ***
2001-02-02 Luca Padovani*** empty log message ***
2001-02-02 Luca Padovani*** empty log message ***
2001-02-01 Claudio Sacerdoti... helm_http_getter.spec added
2001-01-31 Stefano ZacchiroliAdded control on some "open" call (with 'or die ...')
2001-01-30 Stefano ZacchiroliAdded mixed cache support through HTTP_GETTER_CACHE_MOD...
2001-01-29 Luca Padovaniconfiguration improvements
2001-01-19 Luca Padovani0.0.2
2001-01-19 Luca Padovanimissed conflict resolved, merge
2001-01-18 Stefano ZacchiroliAdded perl modules check
2001-01-17 Luca Padovaniautoconfiguration improved (well, maybe)
2001-01-15 Stefano ZacchiroliAdded preliminary support for gzipped library
2001-01-15 Luca Padovaniadded LICENSE
2000-12-29 Claudio Sacerdoti... MIME-BASE64 => MIME-Base64
2000-12-29 Claudio Sacerdoti... syntax error
2000-12-29 Claudio Sacerdoti... Some Requires were missing; the same checks are still...
2000-12-28 Claudio Sacerdoti... bug fixed
next