| 2004-02-16 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2004-02-16 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2004-02-16 |
Claudio Sacerdoti... | - Configuration file moved to /projects/helm/etc. |
tree | commitdiff |
| 2004-02-13 |
Stefano Zacchiroli | added sample configuration file |
tree | commitdiff |
| 2004-02-11 |
Stefano Zacchiroli | getter's revolution (now uses backend in ocaml/getter) |
tree | commitdiff |
| 2004-02-09 |
Stefano Zacchiroli | split into two major parts: |
tree | commitdiff |
| 2004-02-09 |
Stefano Zacchiroli | bumped version (tag soon) |
tree | commitdiff |
| 2004-01-19 |
Claudio Sacerdoti... | Errore message improved. |
tree | commitdiff |
| 2003-12-16 |
Stefano Zacchiroli | cosmetic changes |
tree | commitdiff |
| 2003-12-16 |
Stefano Zacchiroli | removed useless ocamlfind query of the netclient package |
tree | commitdiff |
| 2003-12-16 |
Stefano Zacchiroli | removed dependency on netclient, use http_client module... |
tree | commitdiff |
| 2003-12-03 |
Stefano Zacchiroli | esplicitely add -thread parameter to all compiler invoc... |
tree | commitdiff |
| 2003-12-03 |
Stefano Zacchiroli | use a list of getter maps |
tree | commitdiff |
| 2003-12-03 |
Stefano Zacchiroli | rebuilt |
tree | commitdiff |
| 2003-09-26 |
Luca Padovani | * the regular expressions must have $ otherwise the... |
tree | commitdiff |
| 2003-09-23 |
Claudio Sacerdoti... | - added support for proof trees |
tree | commitdiff |
| 2003-09-19 |
Claudio Sacerdoti... | clean_cache method added |
tree | commitdiff |
| 2003-09-19 |
Claudio Sacerdoti... | cleancache ==> clean_cache |
tree | commitdiff |
| 2003-09-19 |
Claudio Sacerdoti... | Clean cache method added. |
tree | commitdiff |
| 2003-09-17 |
Claudio Sacerdoti... | www-sop.inria.fr |
tree | commitdiff |
| 2003-04-16 |
Stefano Zacchiroli | bugfix: print a better exception than "Not_found" when... |
tree | commitdiff |
| 2003-04-07 |
Stefano Zacchiroli | getter's panel check in |
tree | commitdiff |
| 2003-04-07 |
Stefano Zacchiroli | added a TODO bug comment |
tree | commitdiff |
| 2003-04-07 |
Stefano Zacchiroli | ignore comments and blank line in servers file |
tree | commitdiff |
| 2003-04-07 |
Stefano Zacchiroli | moved "is_blank_line" from Http_getter_common to Http_g... |
tree | commitdiff |
| 2003-04-07 |
Stefano Zacchiroli | added list_servers, {add,remove}_server methods to... |
tree | commitdiff |
| 2003-04-07 |
Stefano Zacchiroli | updat changelog with list_servers method addition |
tree | commitdiff |
| 2003-04-07 |
Stefano Zacchiroli | added "/list_servers" method (actually used by the... |
tree | commitdiff |
| 2003-04-07 |
Stefano Zacchiroli | - added "/add_server" and "/remove_server" to dynamical... |
tree | commitdiff |
| 2003-04-07 |
Stefano Zacchiroli | - added functions "add_server" and "remove_server"... |
tree | commitdiff |
| 2003-04-07 |
Stefano Zacchiroli | - added functions "add_line" and "remove_line" to edit... |
tree | commitdiff |
| 2003-04-07 |
Stefano Zacchiroli | added "replace" method which interfaces Dbm.replace... |
tree | commitdiff |
| 2003-04-07 |
Stefano Zacchiroli | link also zack's helpers |
tree | commitdiff |
| 2003-04-07 |
Stefano Zacchiroli | rebuilt |
tree | commitdiff |
| 2003-04-07 |
Stefano Zacchiroli | added zack's helpers |
tree | commitdiff |
| 2003-03-21 |
Stefano Zacchiroli | bugfix: takes doc from "doc" dir |
tree | commitdiff |
| 2003-03-21 |
Stefano Zacchiroli | added EXTRA_DIST and docs |
tree | commitdiff |
| 2003-03-21 |
Stefano Zacchiroli | empty BUGS file |
tree | commitdiff |
| 2003-03-21 |
Stefano Zacchiroli | removed ancient HELM stuff |
tree | commitdiff |
| 2003-03-21 |
Stefano Zacchiroli | added sample configuration file |
tree | commitdiff |
| 2003-03-21 |
Stefano Zacchiroli | - implemented distcheck target |
tree | commitdiff |
| 2003-03-21 |
Stefano Zacchiroli | rebuilt |
tree | commitdiff |
| 2003-03-21 |
Stefano Zacchiroli | bumped version to 0.2.1 |
tree | commitdiff |
| 2003-03-12 |
Stefano Zacchiroli | - reimplemented cache handling |
tree | commitdiff |
| 2003-03-12 |
Stefano Zacchiroli | added "output" parameter to gzip and gunzip used to... |
tree | commitdiff |
| 2003-03-12 |
Stefano Zacchiroli | added support for patch_fun also for gzipped documents |
tree | commitdiff |
| 2003-03-12 |
Stefano Zacchiroli | embedded configuration infos in usage string |
tree | commitdiff |
| 2003-03-12 |
Stefano Zacchiroli | removed dump_env in favour of env_to_string which retur... |
tree | commitdiff |
| 2003-03-12 |
Stefano Zacchiroli | - embedded configuration information in help string |
tree | commitdiff |
| 2003-03-12 |
Stefano Zacchiroli | rebuilt |
tree | commitdiff |
| 2003-02-25 |
Stefano Zacchiroli | - added support for NuPRL URIs in xml_url_of_uri |
tree | commitdiff |
| 2003-02-25 |
Stefano Zacchiroli | - added default value for parse_patch function |
tree | commitdiff |
| 2003-02-25 |
Stefano Zacchiroli | added is_blank_line facility to match line that should... |
tree | commitdiff |
| 2003-02-25 |
Stefano Zacchiroli | added generation of DOT modules dependency graph |
tree | commitdiff |
| 2003-02-07 |
Claudio Sacerdoti... | Added support for NuPRL URIs. |
tree | commitdiff |
| 2003-01-09 |
Stefano Zacchiroli | - shows also version in usage string |
tree | commitdiff |
| 2003-01-09 |
Stefano Zacchiroli | - added return_html_raw to Http_getter_common |
tree | commitdiff |
| 2003-01-09 |
Stefano Zacchiroli | - added some TODO comments |
tree | commitdiff |
| 2003-01-08 |
Stefano Zacchiroli | - added TODO about cache expires control |
tree | commitdiff |
| 2003-01-08 |
Stefano Zacchiroli | - added debugging log messages inside 'wget' |
tree | commitdiff |
| 2003-01-08 |
Stefano Zacchiroli | perform ancient HTTP request to avoid parsing response... |
tree | commitdiff |
| 2003-01-08 |
Stefano Zacchiroli | - rewritten cp, wget, mkdir in OCaml |
tree | commitdiff |
| 2003-01-08 |
Stefano Zacchiroli | - added debugging log messages in g{,un}zip |
tree | commitdiff |
| 2003-01-08 |
Stefano Zacchiroli | rewritten 'gzip' and 'gunzip' using Zip module instead... |
tree | commitdiff |
| 2003-01-08 |
Stefano Zacchiroli | - moved version setting to Http_getter_const |
tree | commitdiff |
| 2003-01-08 |
Stefano Zacchiroli | rebuilt for ocaml stuff |
tree | commitdiff |
| 2003-01-08 |
Stefano Zacchiroli | - added 'version' field, actually set to 0.2.0 |
tree | commitdiff |
| 2003-01-08 |
Stefano Zacchiroli | new http_getter sources layout: |
tree | commitdiff |
| 2003-01-07 |
Stefano Zacchiroli | - fixed helm web page url and copyright notice |
tree | commitdiff |
| 2003-01-07 |
Stefano Zacchiroli | reindented |
tree | commitdiff |
| 2003-01-07 |
Stefano Zacchiroli | - label name changes: s/patch_dtd/patch because "patch_... |
tree | commitdiff |
| 2003-01-07 |
Stefano Zacchiroli | - reload servers list on before /update |
tree | commitdiff |
| 2003-01-07 |
Stefano Zacchiroli | - added support for 'reload' method which is supposed... |
tree | commitdiff |
| 2003-01-07 |
Claudio Sacerdoti... | Resolve fixed: when an URI was well-formed but not... |
tree | commitdiff |
| 2003-01-07 |
Stefano Zacchiroli | - removed no longer used xsl_dir parameter |
tree | commitdiff |
| 2003-01-07 |
Stefano Zacchiroli | - support file:// URL scheme in http_get |
tree | commitdiff |
| 2003-01-07 |
Stefano Zacchiroli | - added some cache-control header telling not to cache... |
tree | commitdiff |
| 2003-01-07 |
Stefano Zacchiroli | - optimization: precompile all precompilable regexps |
tree | commitdiff |
| 2003-01-07 |
Stefano Zacchiroli | - added "cp", a wrapper around omonymous command |
tree | commitdiff |
| 2003-01-05 |
Stefano Zacchiroli | - added a TODO comment for 'file://' scheme support |
tree | commitdiff |
| 2002-12-27 |
Stefano Zacchiroli | - changed copyright year to 2003 |
tree | commitdiff |
| 2002-12-27 |
Stefano Zacchiroli | - fixed typo in Content-Encoding header name |
tree | commitdiff |
| 2002-12-27 |
Stefano Zacchiroli | - added comments |
tree | commitdiff |
| 2002-12-27 |
Stefano Zacchiroli | comment mangling |
tree | commitdiff |
| 2002-12-27 |
Stefano Zacchiroli | - comments mangling |
tree | commitdiff |
| 2002-12-27 |
Stefano Zacchiroli | - use and override debug_print from Http_getter_debugger |
tree | commitdiff |
| 2002-12-27 |
Stefano Zacchiroli | - removed debug_print, now in Http_getter_debugger |
tree | commitdiff |
| 2002-12-27 |
Stefano Zacchiroli | - precompiled some regexps |
tree | commitdiff |
| 2002-12-27 |
Stefano Zacchiroli | added http_getter_debugger |
tree | commitdiff |
| 2002-12-27 |
Stefano Zacchiroli | fooish module for 'debug_print' |
tree | commitdiff |
| 2002-12-27 |
Stefano Zacchiroli | - moved wget, gzip, gunzip, tempfile from Http_getter_c... |
tree | commitdiff |
| 2002-12-26 |
Stefano Zacchiroli | - clear also .db db files |
tree | commitdiff |
| 2002-12-26 |
Stefano Zacchiroli | catch CTRL-C and save maps before quitting |
tree | commitdiff |
| 2002-12-26 |
Stefano Zacchiroli | - bugfix: shows all log while doing 'update' |
tree | commitdiff |
| 2002-12-26 |
Stefano Zacchiroli | - added maps sync |
tree | commitdiff |
| 2002-12-26 |
Stefano Zacchiroli | - added support for 'patch_dtd' parameter in 'respond_dtd' |
tree | commitdiff |
| 2002-12-26 |
Stefano Zacchiroli | - bugfix: removed trailing "/" from 'my_own_url' |
tree | commitdiff |
| 2002-12-26 |
Stefano Zacchiroli | - reimplemented 'clear' method deleting old DBs and... |
tree | commitdiff |
| 2002-12-26 |
Stefano Zacchiroli | - added module StringSet that implement set of string |
tree | commitdiff |
| 2002-12-26 |
Stefano Zacchiroli | - bugfix: typo in XSL patching |
tree | commitdiff |
| next |
projects / helm.git / history