]> matita.cs.unibo.it Git - helm.git/history - helm/http_getter
added Peano module and functions to create natural/real terms
[helm.git] / helm / http_getter /
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
2000-12-28 Claudio Sacerdoti... syntax error fixed
2000-12-28 Claudio Sacerdoti... http_getter.pl is now executable
2000-12-28 Claudio Sacerdoti... http_getter.pl is now created executable
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... autoconf now used
2000-12-12 Claudio Sacerdoti... Script to start http-getter at boot time.
2000-12-01 Claudio Sacerdoti... update method added; now returns NOT_FOUND if the docum...
2000-11-24 Luca PadovaniModified Files:
2000-11-24 Claudio Sacerdoti... http_getter reimplemented from scratch
2000-11-17 Claudio Sacerdoti... Some bugs fixed
2000-11-17 Claudio Sacerdoti... isterix file added
2000-11-17 Claudio Sacerdoti... Initial revision