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

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

2003-02-19	Stefano Zacchiroli	- formalized proof engine status	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	- added helm- modules dependencies	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	added common module	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	- added callbacks parameters to hbugsClient constructor...	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	- removed use hint button	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	s/gui/hbugs_client_gui/	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	foo main program that instantiate a client GUI, for...	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	- bugfix: musings table is now consistent!	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	- better specialization of some error messages	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	- added doc target to generate .dot dependency graph...	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	added control script to start/stop broker	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	added hbugs-common and hbugs-thread_safe	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	added hbugs-common objects	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	added META for hbugs client	commit \| commitdiff \| tree
2003-02-03	Stefano Zacchiroli	added generation of LaTeX documentation	commit \| commitdiff \| tree
2003-02-03	Stefano Zacchiroli	updated	commit \| commitdiff \| tree
2003-02-03	Stefano Zacchiroli	added a lot of ocamldoc comments	commit \| commitdiff \| tree
2003-02-03	Stefano Zacchiroli	- added GPL preamble	commit \| commitdiff \| tree
2003-02-03	Stefano Zacchiroli	- added GPL preamble	commit \| commitdiff \| tree
2003-02-03	Stefano Zacchiroli	added GPL preamble	commit \| commitdiff \| tree
2003-02-03	Stefano Zacchiroli	fixed a syntax quirk to make ocamldoc happy	commit \| commitdiff \| tree
2003-02-03	Stefano Zacchiroli	moved an ocamldoc comment to .mli	commit \| commitdiff \| tree
2003-02-03	Stefano Zacchiroli	spacing to make ocamldoc happy	commit \| commitdiff \| tree
2003-02-03	Stefano Zacchiroli	bugfix: catch new exceptions for unsupported HTTP versions...	commit \| commitdiff \| tree
2003-02-03	Stefano Zacchiroli	ignore .dot and .ps files	commit \| commitdiff \| tree
2003-02-03	Stefano Zacchiroli	added GPL preamble	commit \| commitdiff \| tree
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
next

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

RSS Atom