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

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

2003-03-11	Stefano Zacchiroli	use autotools also for ocaml part (again?)	commit \| commitdiff \| tree
2003-02-25	Stefano Zacchiroli	- added support for NuPRL URIs in xml_url_of_uri	commit \| commitdiff \| tree
2003-02-25	Stefano Zacchiroli	- added default value for parse_patch function	commit \| commitdiff \| tree
2003-02-25	Stefano Zacchiroli	added is_blank_line facility to match line that should...	commit \| commitdiff \| tree
2003-02-25	Stefano Zacchiroli	added generation of DOT modules dependency graph	commit \| commitdiff \| tree
2003-02-23	Stefano Zacchiroli	- better error messages on make failure	commit \| commitdiff \| tree
2003-02-21	Stefano Zacchiroli	added hbugs-client META	commit \| commitdiff \| tree
2003-02-21	Stefano Zacchiroli	rely on correct settings of OCAMLPATH	commit \| commitdiff \| tree
2003-02-21	Stefano Zacchiroli	added pp for apply hint	commit \| commitdiff \| tree
2003-02-21	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	global Makefile to build gTopLevel with all its dependencies	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	exposed Http_message module	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	moved here misc functions related to URIs from gTopLevel...	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	ignore *.LOG files	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	first tutors implementation, contains:	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	- added run/'s .cvsignore ignoring *.LOG files	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	- added distclean support	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	represented new Wow message	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	- implemented status {,de}serialization	commit \| commitdiff \| tree
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
next

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

RSS Atom