]> matita.cs.unibo.it Git - helm.git/history - helm/http_getter/http_getter.pl.in
tmpdir ==> tmp_dir, minor fixes waiting for the stable version
[helm.git] / helm / http_getter / http_getter.pl.in
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-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-17 Luca Padovaniautoconfiguration improved (well, maybe)
2001-01-15 Stefano ZacchiroliAdded preliminary support for gzipped library
2001-01-15 Luca Padovaniadded LICENSE
2000-12-28 Claudio Sacerdoti... bug fixed
2000-12-28 Claudio Sacerdoti... syntax error fixed
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... autoconf now used