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

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

2003-02-03	Stefano Zacchiroli	- removed superseded exceptions: Unsupported_method...	commit \| commitdiff \| tree
2003-02-03	Stefano Zacchiroli	added generation of dot modules dependency graph	commit \| commitdiff \| tree
2003-01-25	Stefano Zacchiroli	bugfix: added some missing deps	commit \| commitdiff \| tree
2003-01-24	Stefano Zacchiroli	exported hbugsClient class so that it can be used from...	commit \| commitdiff \| tree
2003-01-24	Stefano Zacchiroli	debian release 0.3.99-1	commit \| commitdiff \| tree
2003-01-24	Stefano Zacchiroli	changed version number to 0.3.99	commit \| commitdiff \| tree
2003-01-24	Stefano Zacchiroli	added warning comment about using unstable stuff	commit \| commitdiff \| tree
2003-01-24	Stefano Zacchiroli	- create also libxxx.so symlink in ocaml stublibs directory	commit \| commitdiff \| tree
2003-01-24	Stefano Zacchiroli	debian release 0.0.3-3	commit \| commitdiff \| tree
2003-01-22	Stefano Zacchiroli	client's GUI no longer visible by default	commit \| commitdiff \| tree
2003-01-21	Stefano Zacchiroli	binding to gtkmathview 0.3.1	commit \| commitdiff \| tree
2003-01-21	Stefano Zacchiroli	- added methods	commit \| commitdiff \| tree
2003-01-20	Stefano Zacchiroli	- added ragman process who cleans up old registrations	commit \| commitdiff \| tree
2003-01-17	Stefano Zacchiroli	changed log file permission to 0o640	commit \| commitdiff \| tree
2003-01-17	Stefano Zacchiroli	kill HTTP child on exit	commit \| commitdiff \| tree
2003-01-17	Stefano Zacchiroli	catch SIGTERM and log a "bye" message	commit \| commitdiff \| tree
2003-01-17	Stefano Zacchiroli	- bugfix: display exit message only when uwobo master...	commit \| commitdiff \| tree
2003-01-17	Stefano Zacchiroli	- removed debugging messages while setting output properties	commit \| commitdiff \| tree
2003-01-17	Stefano Zacchiroli	- generalized sysLogger class so that it logs to a...	commit \| commitdiff \| tree
2003-01-17	Stefano Zacchiroli	- removed useless thread stuff	commit \| commitdiff \| tree
2003-01-17	Stefano Zacchiroli	- removed thread stuff	commit \| commitdiff \| tree
2003-01-17	Stefano Zacchiroli	MAJOR CHANGES:	commit \| commitdiff \| tree
2003-01-17	Stefano Zacchiroli	mention sockets' shutdown	commit \| commitdiff \| tree
2003-01-17	Stefano Zacchiroli	- added support for shutdown of servers' socket on...	commit \| commitdiff \| tree
2003-01-17	Stefano Zacchiroli	use new Http_tcp_server.fork server instead of (now...	commit \| commitdiff \| tree
2003-01-17	Stefano Zacchiroli	added 'highlander' example to test fast rebinding of...	commit \| commitdiff \| tree
2003-01-17	Stefano Zacchiroli	removed thread support options	commit \| commitdiff \| tree
2003-01-17	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2003-01-15	Stefano Zacchiroli	added loading of stylesheets on start/restart	commit \| commitdiff \| tree
2003-01-15	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2003-01-15	Stefano Zacchiroli	- disabled OCaml HTTP debugging	commit \| commitdiff \| tree
2003-01-15	Stefano Zacchiroli	- no default_properties	commit \| commitdiff \| tree
2003-01-15	Stefano Zacchiroli	- added support for default properties	commit \| commitdiff \| tree
2003-01-15	Stefano Zacchiroli	changed default behavior of the "all:" target, now...	commit \| commitdiff \| tree
2003-01-15	Stefano Zacchiroli	removed generated output.xml from EXTRA_DIST	commit \| commitdiff \| tree
2003-01-15	Stefano Zacchiroli	bugfix: added "std" namespace where needed	commit \| commitdiff \| tree
2003-01-15	Stefano Zacchiroli	added build-dep on libgdome2-cpp-smart-dev	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	debugging print of HTTP request's parsing errors	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	- added "dist" target	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	added debugging code (disabled by default) that saves...	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	added support for "ancient" HTTP requests like "GET...	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	added two TODO items:	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	specified type for Http_types.request objects	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	- export level and levelNo with methods	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	- fixed typo: use Param_not_found exception from Http_types	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	fixed copyright notice and helm web page url	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	added dep on 'http' module	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	- moved here respond_exc and respond_msg from broker/	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	implemented random id generation	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	reimplemented http GET/POST functions grabbing functions...	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	added dependency on 'http' library	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	first client implementation as a standalone application	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	added client/ subdir	commit \| commitdiff \| tree
2003-01-10	Stefano Zacchiroli	- moved functions for sending/receiving hbugs messages...	commit \| commitdiff \| tree
2003-01-09	Stefano Zacchiroli	- added debugging print of request 1st line	commit \| commitdiff \| tree
2003-01-09	Stefano Zacchiroli	- shows also version in usage string	commit \| commitdiff \| tree
2003-01-09	Stefano Zacchiroli	- added return_html_raw to Http_getter_common	commit \| commitdiff \| tree
2003-01-09	Stefano Zacchiroli	- added some TODO comments	commit \| commitdiff \| tree
2003-01-08	Stefano Zacchiroli	- added TODO about cache expires control	commit \| commitdiff \| tree
2003-01-08	Stefano Zacchiroli	- added debugging log messages inside 'wget'	commit \| commitdiff \| tree
2003-01-08	Stefano Zacchiroli	perform ancient HTTP request to avoid parsing response...	commit \| commitdiff \| tree
2003-01-08	Stefano Zacchiroli	- rewritten cp, wget, mkdir in OCaml	commit \| commitdiff \| tree
2003-01-08	Stefano Zacchiroli	- added debugging log messages in g{,un}zip	commit \| commitdiff \| tree
2003-01-08	Stefano Zacchiroli	rewritten 'gzip' and 'gunzip' using Zip module instead...	commit \| commitdiff \| tree
2003-01-08	Stefano Zacchiroli	- moved version setting to Http_getter_const	commit \| commitdiff \| tree
2003-01-08	Stefano Zacchiroli	rebuilt for ocaml stuff	commit \| commitdiff \| tree
2003-01-08	Stefano Zacchiroli	- added 'version' field, actually set to 0.2.0	commit \| commitdiff \| tree
2003-01-08	Stefano Zacchiroli	new http_getter sources layout:	commit \| commitdiff \| tree
2003-01-07	Stefano Zacchiroli	- fixed helm web page url and copyright notice	commit \| commitdiff \| tree
2003-01-07	Stefano Zacchiroli	reindented	commit \| commitdiff \| tree
2003-01-07	Stefano Zacchiroli	- label name changes: s/patch_dtd/patch because "patch_dtd...	commit \| commitdiff \| tree
2003-01-07	Stefano Zacchiroli	- reload servers list on before /update	commit \| commitdiff \| tree
2003-01-07	Stefano Zacchiroli	- added support for 'reload' method which is supposed...	commit \| commitdiff \| tree
2003-01-07	Stefano Zacchiroli	- removed no longer used xsl_dir parameter	commit \| commitdiff \| tree
2003-01-07	Stefano Zacchiroli	- support file:// URL scheme in http_get	commit \| commitdiff \| tree
2003-01-07	Stefano Zacchiroli	- added some cache-control header telling not to cache...	commit \| commitdiff \| tree
2003-01-07	Stefano Zacchiroli	- optimization: precompile all precompilable regexps	commit \| commitdiff \| tree
2003-01-07	Stefano Zacchiroli	- added "cp", a wrapper around omonymous command	commit \| commitdiff \| tree
2003-01-07	Stefano Zacchiroli	debian release 0.3.0-10	commit \| commitdiff \| tree
2003-01-06	Stefano Zacchiroli	added cvsignore	commit \| commitdiff \| tree
2003-01-06	Stefano Zacchiroli	- added 'doc' dir with a diagram of messages exchanges...	commit \| commitdiff \| tree
2003-01-06	Stefano Zacchiroli	added 'test' dir with a serialization/deserialization...	commit \| commitdiff \| tree
2003-01-05	Stefano Zacchiroli	- added/moved METAs in meta/ dir	commit \| commitdiff \| tree
2003-01-05	Stefano Zacchiroli	- hbugs first draft release, not yet tested	commit \| commitdiff \| tree
2003-01-05	Stefano Zacchiroli	- use version deps and build-deps	commit \| commitdiff \| tree
2003-01-05	Stefano Zacchiroli	- added some TODO comments	commit \| commitdiff \| tree
2003-01-05	Stefano Zacchiroli	- better test for content-length header existence ...	commit \| commitdiff \| tree
2003-01-05	Stefano Zacchiroli	- case insensitive handling of header names	commit \| commitdiff \| tree
2003-01-05	Stefano Zacchiroli	- catch Not_found exception while regexping headers	commit \| commitdiff \| tree
2003-01-05	Stefano Zacchiroli	- added a TODO comment	commit \| commitdiff \| tree
2003-01-05	Stefano Zacchiroli	- added Quit exception to force main daemon to quit	commit \| commitdiff \| tree
2003-01-05	Stefano Zacchiroli	- hand made 'wget' function instead of Http_client...	commit \| commitdiff \| tree
2003-01-05	Stefano Zacchiroli	- dump also request's body, useful to debug POST requests	commit \| commitdiff \| tree
2003-01-05	Stefano Zacchiroli	- added .o .a *.deb	commit \| commitdiff \| tree
2003-01-05	Stefano Zacchiroli	- added a TODO comment for 'file://' scheme support	commit \| commitdiff \| tree
2002-12-27	Stefano Zacchiroli	- changed copyright year to 2003	commit \| commitdiff \| tree
2002-12-27	Stefano Zacchiroli	- fixed typo in Content-Encoding header name	commit \| commitdiff \| tree
2002-12-27	Stefano Zacchiroli	- added comments	commit \| commitdiff \| tree
next

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

RSS Atom