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

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

2003-12-16	Stefano Zacchiroli	added Malformed_response exception	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	added http_client module	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	ported to ocaml 3.07	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	renamed META.src to meta.src so that ocamlfind list...	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	- fixed logging in log window so that spurious html...	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	renamed module "logger" to "cicLogger" to avoid confusion...	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	sample script.sh which read META files from ocaml/METAS	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	moved META files in METAS/ dir	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	added support for cic_textual_parser2 module	commit \| commitdiff \| tree
2003-12-15	Stefano Zacchiroli	new experimental cic textual parser: checkin	commit \| commitdiff \| tree
2003-12-10	Stefano Zacchiroli	close RC bug regarding rebuilding with newer gthmathview	commit \| commitdiff \| tree
2003-12-04	Stefano Zacchiroli	debian version 0.0.4-3	commit \| commitdiff \| tree
2003-12-04	Stefano Zacchiroli	added -thread option where needed to make new findlib...	commit \| commitdiff \| tree
2003-12-04	Stefano Zacchiroli	ignore environments	commit \| commitdiff \| tree
2003-12-03	Stefano Zacchiroli	esplicitely add -thread parameter to all compiler invocations	commit \| commitdiff \| tree
2003-12-03	Stefano Zacchiroli	use a list of getter maps	commit \| commitdiff \| tree
2003-12-03	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2003-10-29	Stefano Zacchiroli	debian version 0.0.4-2	commit \| commitdiff \| tree
2003-10-21	Stefano Zacchiroli	- debian release 0.0.6-3	commit \| commitdiff \| tree
2003-10-13	Stefano Zacchiroli	debian version 0.5.1-2	commit \| commitdiff \| tree
2003-10-13	Stefano Zacchiroli	debian version 0.5.1-1	commit \| commitdiff \| tree
2003-10-10	Stefano Zacchiroli	debian snapshot version 0.0.6-2	commit \| commitdiff \| tree
2003-10-04	Stefano Zacchiroli	debian package for ocaml 3.07	commit \| commitdiff \| tree
2003-09-14	Stefano Zacchiroli	- bumped copyright years	commit \| commitdiff \| tree
2003-09-14	Stefano Zacchiroli	- converted TAB to spaces	commit \| commitdiff \| tree
2003-09-14	Stefano Zacchiroli	- clear hints list upon status submit	commit \| commitdiff \| tree
2003-09-13	Stefano Zacchiroli	- added support for dumping environment to file on...	commit \| commitdiff \| tree
2003-09-13	Stefano Zacchiroli	added environment setting (set by fill_template)	commit \| commitdiff \| tree
2003-09-13	Stefano Zacchiroli	added environment file setting for each tutor	commit \| commitdiff \| tree
2003-09-13	Stefano Zacchiroli	added support for dump/restore/clear proof checker...	commit \| commitdiff \| tree
2003-09-13	Stefano Zacchiroli	added notation for reals 0, 1, n	commit \| commitdiff \| tree
2003-09-07	Stefano Zacchiroli	use an integer debugging level instead of a boolean one	commit \| commitdiff \| tree
2003-09-07	Stefano Zacchiroli	- use hbugs' describe_callback to render apply-hints...	commit \| commitdiff \| tree
2003-09-07	Stefano Zacchiroli	commented out gtkmathview's font_size override	commit \| commitdiff \| tree
2003-09-07	Stefano Zacchiroli	added "start" and "stop" targets for hbugs	commit \| commitdiff \| tree
2003-09-07	Stefano Zacchiroli	added support for external configuration of describe_hint_ca...	commit \| commitdiff \| tree
2003-09-07	Stefano Zacchiroli	added "describe_hint_callback" invoked when a hint...	commit \| commitdiff \| tree
2003-09-07	Stefano Zacchiroli	- removed useless status bar	commit \| commitdiff \| tree
2003-09-07	Stefano Zacchiroli	send SIGKILL to stop web services	commit \| commitdiff \| tree
2003-09-07	Stefano Zacchiroli	commented out thread killing (we have to wait for a...	commit \| commitdiff \| tree
2003-09-05	Stefano Zacchiroli	Defs in context may now have an optional type (when...	commit \| commitdiff \| tree
2003-09-05	Stefano Zacchiroli	added \neqt macro	commit \| commitdiff \| tree
2003-09-05	Stefano Zacchiroli	added notation for Ropp and Rinv	commit \| commitdiff \| tree
2003-09-05	Stefano Zacchiroli	Defs in context may now have an optional type (when...	commit \| commitdiff \| tree
2003-09-05	Stefano Zacchiroli	fixed associativity of some (all!) binary operators	commit \| commitdiff \| tree
2003-09-05	Stefano Zacchiroli	replaced with my generic latex makefile	commit \| commitdiff \| tree
2003-09-04	Stefano Zacchiroli	- added a destroy callback	commit \| commitdiff \| tree
2003-09-04	Stefano Zacchiroli	start tutors with nice at the lowest priority	commit \| commitdiff \| tree
2003-09-04	Stefano Zacchiroli	avoid deletion of useful .cmi with .PRECIOUS	commit \| commitdiff \| tree
2003-09-04	Stefano Zacchiroli	commented out debugging tutor "wait"	commit \| commitdiff \| tree
2003-09-04	Stefano Zacchiroli	- added dot notation for real numbers and basic operations...	commit \| commitdiff \| tree
2003-09-04	Stefano Zacchiroli	- added default URI for new theorems	commit \| commitdiff \| tree
2003-09-04	Stefano Zacchiroli	added support for X11 clipboard pasting with CTRL-V...	commit \| commitdiff \| tree
2003-09-04	Stefano Zacchiroli	added methods to start/stop web services	commit \| commitdiff \| tree
2003-09-04	Stefano Zacchiroli	added eqT's macro	commit \| commitdiff \| tree
2003-09-04	Stefano Zacchiroli	fixed typo in eqT's URI	commit \| commitdiff \| tree
2003-07-28	Stefano Zacchiroli	use OCAMLFIND variable instead of "ocamlfind" directly	commit \| commitdiff \| tree
2003-07-15	Stefano Zacchiroli	merged CSC's typos squashing	commit \| commitdiff \| tree
2003-07-15	Stefano Zacchiroli	fixed "s" typos	commit \| commitdiff \| tree
2003-07-15	Stefano Zacchiroli	wrapped libxslt stylesheet application inside an ocaml...	commit \| commitdiff \| tree
2003-07-15	Stefano Zacchiroli	bumped version to 0.0.5	commit \| commitdiff \| tree
2003-07-14	Stefano Zacchiroli	debian release 0.0.4-7	commit \| commitdiff \| tree
2003-07-12	Stefano Zacchiroli	debian release 0.4.3-3	commit \| commitdiff \| tree
2003-07-11	Stefano Zacchiroli	reordered link order	commit \| commitdiff \| tree
2003-07-01	Stefano Zacchiroli	- changed changelog author to me (to GPG sign the package)	commit \| commitdiff \| tree
2003-07-01	Stefano Zacchiroli	debian release 0.0.4-6	commit \| commitdiff \| tree
2003-07-01	Stefano Zacchiroli	moved debhelper compatibility level to debian/compat	commit \| commitdiff \| tree
2003-06-25	Stefano Zacchiroli	added tons of #include <cassert> to make latest gcc...	commit \| commitdiff \| tree
2003-06-25	Stefano Zacchiroli	preliminar 0.0.3-2 debian release	commit \| commitdiff \| tree
2003-06-25	Stefano Zacchiroli	forward ported to use pkg-config	commit \| commitdiff \| tree
2003-06-19	Stefano Zacchiroli	removed old -config script	commit \| commitdiff \| tree
2003-06-19	Stefano Zacchiroli	#include <cassert> patch	commit \| commitdiff \| tree
2003-06-19	Stefano Zacchiroli	debian version 0.0.4-5	commit \| commitdiff \| tree
2003-06-19	Stefano Zacchiroli	fixed autoconf variable @@ vs $()	commit \| commitdiff \| tree
2003-06-19	Stefano Zacchiroli	debian version 0.4.3 (maybe, not tested)	commit \| commitdiff \| tree
2003-06-19	Stefano Zacchiroli	bumped version to 0.4.3	commit \| commitdiff \| tree
2003-05-29	Stefano Zacchiroli	draft review	commit \| commitdiff \| tree
2003-05-29	Stefano Zacchiroli	thread handling reviewed	commit \| commitdiff \| tree
2003-05-28	Stefano Zacchiroli	added web-services' interfaces image	commit \| commitdiff \| tree
2003-05-28	Stefano Zacchiroli	- reviewed latest CSC'comments	commit \| commitdiff \| tree
2003-05-26	Stefano Zacchiroli	added status.eps	commit \| commitdiff \| tree
2003-05-26	Stefano Zacchiroli	written section 3	commit \| commitdiff \| tree
2003-05-23	Stefano Zacchiroli	- (badly) written section 2 (Architecture)	commit \| commitdiff \| tree
2003-05-23	Stefano Zacchiroli	added architecture figure	commit \| commitdiff \| tree
2003-05-23	Stefano Zacchiroli	added MONET's Math Obj Manager to conclusions	commit \| commitdiff \| tree
2003-05-23	Stefano Zacchiroli	added multiple invocations of latex	commit \| commitdiff \| tree
2003-05-22	Stefano Zacchiroli	first checkin	commit \| commitdiff \| tree
2003-04-16	Stefano Zacchiroli	bugfix: print a better exception than "Not_found" when...	commit \| commitdiff \| tree
2003-04-16	Stefano Zacchiroli	- use an exception to handle empty status nodes	commit \| commitdiff \| tree
2003-04-16	Stefano Zacchiroli	updated serialization test	commit \| commitdiff \| tree
2003-04-16	Stefano Zacchiroli	no longer used (use HBUGS_MESSAGES.xml directly)	commit \| commitdiff \| tree
2003-04-16	Stefano Zacchiroli	added "restart" target	commit \| commitdiff \| tree
2003-04-16	Stefano Zacchiroli	added ocamlfind trick to trigger rebuild when some...	commit \| commitdiff \| tree
2003-04-15	Stefano Zacchiroli	added support for slaves killing	commit \| commitdiff \| tree
2003-04-08	Stefano Zacchiroli	kill instances of uwobo_forever.sh on stop	commit \| commitdiff \| tree
2003-04-08	Stefano Zacchiroli	- added support for UWOBO respawner	commit \| commitdiff \| tree
2003-04-08	Stefano Zacchiroli	added UWOBO respawner script	commit \| commitdiff \| tree
2003-04-07	Stefano Zacchiroli	getter's panel check in	commit \| commitdiff \| tree
2003-04-07	Stefano Zacchiroli	added a TODO bug comment	commit \| commitdiff \| tree
next

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

RSS Atom