]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2003-01-09 no authorThis commit was manufactured by cvs2svn to create branc... init
2003-01-09 Luca PadovaniInitial revision
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-07 Stefano Zacchirolidebian release 0.3.0-10
2003-01-06 Stefano Zacchiroliadded cvsignore
2003-01-06 Stefano Zacchiroli- added 'doc' dir with a diagram of messages exchanges...
2003-01-06 Stefano Zacchiroliadded 'test' dir with a serialization/deserialization...
2003-01-05 Stefano Zacchiroli- added/moved METAs in meta/ dir
2003-01-05 Stefano Zacchiroli- hbugs first draft release, not yet tested
2003-01-05 Stefano Zacchiroli- use version deps and build-deps
2003-01-05 Stefano Zacchiroli- added some TODO comments
2003-01-05 Stefano Zacchiroli- better test for content-length header existence ...
2003-01-05 Stefano Zacchiroli- case insensitive handling of header names
2003-01-05 Stefano Zacchiroli- catch Not_found exception while regexping headers
2003-01-05 Stefano Zacchiroli- added a TODO comment
2003-01-05 Stefano Zacchiroli- added Quit exception to force main daemon to quit
2003-01-05 Stefano Zacchiroli- hand made 'wget' function instead of Http_client...
2003-01-05 Stefano Zacchiroli- dump also request's body, useful to debug POST requests
2003-01-05 Stefano Zacchiroli- added *.o *.a *.deb
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-12-25 Stefano Zacchiroli- bugfix: installs also cmi for modules which doesn...
2002-12-25 Stefano Zacchiroli- set ocamldoc to look in netstring directory so that...
2002-12-25 Stefano Zacchirolimentioned POST changes
2002-12-25 Stefano Zacchiroli- merged "post" branch
2002-12-25 Stefano Zacchirolilibdir transition to /usr/lib/ocaml/<version>
2002-12-25 Stefano Zacchiroliwhen making 'dist' remove old spurious dist directories
2002-12-24 Stefano Zacchirolibetter use of variables to install/uninstall stuff
2002-12-13 Ferruccio GuidiMathQL textual lexer patched
2002-12-12 Claudio Sacerdoti... INDEXEs on hrefRel and hrefSort added.
2002-12-09 Stefano Zacchirolirebuilt
2002-12-09 Stefano Zacchiroliprefix error messages with "[OCaml HTTP]"
2002-12-09 Stefano Zacchirolimention IP address info in request class
2002-12-09 Stefano Zacchiroliadded support for IP address info retrieval for OO...
2002-12-09 Stefano Zacchiroli- added methods to retrieve client IP address related...
2002-12-09 Stefano Zacchiroli- added explode_sockaddr, inverse function of build_soc...
2002-12-09 Stefano Zacchiroliadded client_address example which show the ability...
2002-12-09 Stefano Zacchiroliadded example data files to EXTRA_DIST
2002-12-09 Stefano Zacchiroliignore Makefile, Makefile.in
2002-12-09 Stefano Zacchiroliadded 'deb' target
2002-12-09 Stefano Zacchiroliadded detection of all ocaml related tools and directories
2002-12-09 Stefano Zacchiroliignore all auomake's trash
2002-12-09 Stefano Zacchiroliadded missing BUGS file
2002-12-09 Stefano Zacchiroli- debian version 0.0.3-2
2002-12-09 Stefano Zacchiroliignore Makefile, Makefile.in, .deps
2002-12-09 Stefano Zacchirolibugfix: removed EXTRA_DIST useless line
2002-12-09 Stefano Zacchiroliignore Makefile, Makefile.in
2002-12-09 Stefano Zacchiroliadded Makefile Makefile.in and .deps
2002-12-09 Stefano Zacchiroliremove automake generated stuff
2002-12-09 Stefano Zacchiroliadded automake generated stuff
2002-12-09 Stefano Zacchiroliremoved old home-made Makefile
2002-12-09 Stefano Zacchiroliignore Makefile and Makefile.in
2002-12-09 Stefano Zacchirolifilled SUBDIR var
2002-12-09 Stefano Zacchiroliadded Makefile.in and .deps
next