matita.cs.unibo.it Git - helm.git/shortlog

]> matita.cs.unibo.it Git - helm.git/shortlog

2005-07-07	no author	This commit was manufactured by cvs2svn to create tag... V_0_0_7	commit \| commitdiff \| tree \| snapshot
2003-01-05	Stefano Zacchiroli	- added some TODO comments	commit \| commitdiff \| tree \| snapshot
2003-01-05	Stefano Zacchiroli	- better test for content-length header existence ...	commit \| commitdiff \| tree \| snapshot
2003-01-05	Stefano Zacchiroli	- case insensitive handling of header names	commit \| commitdiff \| tree \| snapshot
2003-01-05	Stefano Zacchiroli	- catch Not_found exception while regexping headers	commit \| commitdiff \| tree \| snapshot
2003-01-05	Stefano Zacchiroli	- added a TODO comment	commit \| commitdiff \| tree \| snapshot
2003-01-05	Stefano Zacchiroli	- added Quit exception to force main daemon to quit	commit \| commitdiff \| tree \| snapshot
2003-01-05	Stefano Zacchiroli	- hand made 'wget' function instead of Http_client...	commit \| commitdiff \| tree \| snapshot
2003-01-05	Stefano Zacchiroli	- dump also request's body, useful to debug POST requests	commit \| commitdiff \| tree \| snapshot
2003-01-05	Stefano Zacchiroli	- added .o .a *.deb	commit \| commitdiff \| tree \| snapshot
2003-01-05	Stefano Zacchiroli	- added a TODO comment for 'file://' scheme support	commit \| commitdiff \| tree \| snapshot
2002-12-27	Stefano Zacchiroli	- changed copyright year to 2003	commit \| commitdiff \| tree \| snapshot
2002-12-27	Stefano Zacchiroli	- fixed typo in Content-Encoding header name	commit \| commitdiff \| tree \| snapshot
2002-12-27	Stefano Zacchiroli	- added comments	commit \| commitdiff \| tree \| snapshot
2002-12-27	Stefano Zacchiroli	comment mangling	commit \| commitdiff \| tree \| snapshot
2002-12-27	Stefano Zacchiroli	- comments mangling	commit \| commitdiff \| tree \| snapshot
2002-12-27	Stefano Zacchiroli	- use and override debug_print from Http_getter_debugger	commit \| commitdiff \| tree \| snapshot
2002-12-27	Stefano Zacchiroli	- removed debug_print, now in Http_getter_debugger	commit \| commitdiff \| tree \| snapshot
2002-12-27	Stefano Zacchiroli	- precompiled some regexps	commit \| commitdiff \| tree \| snapshot
2002-12-27	Stefano Zacchiroli	added http_getter_debugger	commit \| commitdiff \| tree \| snapshot
2002-12-27	Stefano Zacchiroli	fooish module for 'debug_print'	commit \| commitdiff \| tree \| snapshot
2002-12-27	Stefano Zacchiroli	- moved wget, gzip, gunzip, tempfile from Http_getter_c...	commit \| commitdiff \| tree \| snapshot
2002-12-26	Stefano Zacchiroli	- clear also .db db files	commit \| commitdiff \| tree \| snapshot
2002-12-26	Stefano Zacchiroli	catch CTRL-C and save maps before quitting	commit \| commitdiff \| tree \| snapshot
2002-12-26	Stefano Zacchiroli	- bugfix: shows all log while doing 'update'	commit \| commitdiff \| tree \| snapshot
2002-12-26	Stefano Zacchiroli	- added maps sync	commit \| commitdiff \| tree \| snapshot
2002-12-26	Stefano Zacchiroli	- added support for 'patch_dtd' parameter in 'respond_dtd'	commit \| commitdiff \| tree \| snapshot
2002-12-26	Stefano Zacchiroli	- bugfix: removed trailing "/" from 'my_own_url'	commit \| commitdiff \| tree \| snapshot
2002-12-26	Stefano Zacchiroli	- reimplemented 'clear' method deleting old DBs and...	commit \| commitdiff \| tree \| snapshot
2002-12-26	Stefano Zacchiroli	- added module StringSet that implement set of string	commit \| commitdiff \| tree \| snapshot
2002-12-26	Stefano Zacchiroli	- bugfix: typo in XSL patching	commit \| commitdiff \| tree \| snapshot
2002-12-26	Stefano Zacchiroli	- removed some debugging prints	commit \| commitdiff \| tree \| snapshot
2002-12-26	Stefano Zacchiroli	Dbm dumper for dbs created using Dbm ocaml module	commit \| commitdiff \| tree \| snapshot
2002-12-25	Stefano Zacchiroli	added Makefiles	commit \| commitdiff \| tree \| snapshot
2002-12-25	Stefano Zacchiroli	added http_getter OCaml implementation	commit \| commitdiff \| tree \| snapshot
2002-12-25	Stefano Zacchiroli	- bugfix: installs also cmi for modules which doesn...	commit \| commitdiff \| tree \| snapshot
2002-12-25	Stefano Zacchiroli	- set ocamldoc to look in netstring directory so that...	commit \| commitdiff \| tree \| snapshot
2002-12-25	Stefano Zacchiroli	mentioned POST changes	commit \| commitdiff \| tree \| snapshot
2002-12-25	Stefano Zacchiroli	- merged "post" branch	commit \| commitdiff \| tree \| snapshot
2002-12-25	Stefano Zacchiroli	libdir transition to /usr/lib/ocaml/<version>	commit \| commitdiff \| tree \| snapshot
2002-12-25	Stefano Zacchiroli	when making 'dist' remove old spurious dist directories	commit \| commitdiff \| tree \| snapshot
2002-12-24	Stefano Zacchiroli	better use of variables to install/uninstall stuff	commit \| commitdiff \| tree \| snapshot
2002-12-13	Ferruccio Guidi	MathQL textual lexer patched	commit \| commitdiff \| tree \| snapshot
2002-12-12	Claudio Sacerdoti...	INDEXEs on hrefRel and hrefSort added.	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	prefix error messages with "[OCaml HTTP]"	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	mention IP address info in request class	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	added support for IP address info retrieval for OO...	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	- added methods to retrieve client IP address related...	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	- added explode_sockaddr, inverse function of build_soc...	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	added client_address example which show the ability...	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	added example data files to EXTRA_DIST	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	ignore Makefile, Makefile.in	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	added 'deb' target	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	added detection of all ocaml related tools and directories	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	ignore all auomake's trash	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	added missing BUGS file	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	- debian version 0.0.3-2	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	ignore Makefile, Makefile.in, .deps	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	bugfix: removed EXTRA_DIST useless line	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	ignore Makefile, Makefile.in	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	added Makefile Makefile.in and .deps	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	remove automake generated stuff	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	added automake generated stuff	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	removed old home-made Makefile	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	ignore Makefile and Makefile.in	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	filled SUBDIR var	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	added Makefile.in and .deps	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	changed archives to mlgdome2-xslt	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	switched to automake based build process	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	- switched to automake based built	commit \| commitdiff \| tree \| snapshot
2002-12-09	Stefano Zacchiroli	removed hand-made Makefile	commit \| commitdiff \| tree \| snapshot
2002-12-06	Stefano Zacchiroli	some done, some new todo!	commit \| commitdiff \| tree \| snapshot
2002-12-06	Stefano Zacchiroli	added entry about oo interfaces	commit \| commitdiff \| tree \| snapshot
2002-12-06	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2002-12-06	Stefano Zacchiroli	- added *.mli	commit \| commitdiff \| tree \| snapshot
2002-12-06	Stefano Zacchiroli	- added OO example	commit \| commitdiff \| tree \| snapshot
2002-12-06	Stefano Zacchiroli	- added exceptions Invalid_header_{name,value}	commit \| commitdiff \| tree \| snapshot
2002-12-06	Stefano Zacchiroli	- added safe_parse_request{,'} which wrap parse_request...	commit \| commitdiff \| tree \| snapshot
2002-12-06	Stefano Zacchiroli	implemented and exported heal_header_name and heal_head...	commit \| commitdiff \| tree \| snapshot
2002-12-06	Stefano Zacchiroli	- added 'constructor' for response class	commit \| commitdiff \| tree \| snapshot
2002-12-06	Stefano Zacchiroli	minor indentation change	commit \| commitdiff \| tree \| snapshot
2002-12-06	Stefano Zacchiroli	- split init_socket_and_callback in two functions	commit \| commitdiff \| tree \| snapshot
2002-12-06	Stefano Zacchiroli	added 'build_sockaddr'	commit \| commitdiff \| tree \| snapshot
2002-12-06	Stefano Zacchiroli	removed now useless (due to automake) Makefile	commit \| commitdiff \| tree \| snapshot
2002-12-06	Claudio Sacerdoti...	* bug fixed: the property construct did not sort and...	commit \| commitdiff \| tree \| snapshot
2002-12-05	Luca Padovani	* ignore things	commit \| commitdiff \| tree \| snapshot
2002-12-05	Luca Padovani	* empty automake Makefile for ocaml stuff	commit \| commitdiff \| tree \| snapshot
2002-12-05	Luca Padovani	* required for compilation of test	commit \| commitdiff \| tree \| snapshot
2002-12-05	Luca Padovani	* patches for ocaml compilation	commit \| commitdiff \| tree \| snapshot
2002-12-04	Luca Padovani	* missed some files	commit \| commitdiff \| tree \| snapshot
2002-12-04	Luca Padovani	* added C++ binding	commit \| commitdiff \| tree \| snapshot
2002-12-04	Stefano Zacchiroli	- reverted to only one quotation level in xmluri, libxm...	commit \| commitdiff \| tree \| snapshot
2002-12-04	Stefano Zacchiroli	recomputed	commit \| commitdiff \| tree \| snapshot
2002-12-04	Stefano Zacchiroli	- bugfix: removed Http_types -> Http_types dep	commit \| commitdiff \| tree \| snapshot
2002-12-04	Stefano Zacchiroli	- use Pcre to perform sanity checks	commit \| commitdiff \| tree \| snapshot
2002-12-04	Stefano Zacchiroli	- first entry for 0.0.7	commit \| commitdiff \| tree \| snapshot
2002-12-04	Stefano Zacchiroli	- added deb target	commit \| commitdiff \| tree \| snapshot
2002-12-03	Stefano Zacchiroli	- added sanity checks entry	commit \| commitdiff \| tree \| snapshot
next

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom