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

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

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
2003-04-07	Stefano Zacchiroli	ignore comments and blank line in servers file	commit \| commitdiff \| tree
2003-04-07	Stefano Zacchiroli	moved "is_blank_line" from Http_getter_common to Http_getter...	commit \| commitdiff \| tree
2003-04-07	Stefano Zacchiroli	added list_servers, {add,remove}_server methods to...	commit \| commitdiff \| tree
2003-04-07	Stefano Zacchiroli	updat changelog with list_servers method addition	commit \| commitdiff \| tree
2003-04-07	Stefano Zacchiroli	added "/list_servers" method (actually used by the...	commit \| commitdiff \| tree
2003-04-07	Stefano Zacchiroli	- added "/add_server" and "/remove_server" to dynamically...	commit \| commitdiff \| tree
2003-04-07	Stefano Zacchiroli	- added functions "add_server" and "remove_server"...	commit \| commitdiff \| tree
2003-04-07	Stefano Zacchiroli	- added functions "add_line" and "remove_line" to edit...	commit \| commitdiff \| tree
2003-04-07	Stefano Zacchiroli	added "replace" method which interfaces Dbm.replace...	commit \| commitdiff \| tree
2003-04-07	Stefano Zacchiroli	link also zack's helpers	commit \| commitdiff \| tree
2003-04-07	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2003-04-07	Stefano Zacchiroli	added zack's helpers	commit \| commitdiff \| tree
2003-04-04	Stefano Zacchiroli	moved some constants from Http_daemon to Http_constants	commit \| commitdiff \| tree
2003-04-04	Stefano Zacchiroli	- redesigned error and warning handling for libxslt	commit \| commitdiff \| tree
2003-04-02	Stefano Zacchiroli	added debian stuff, first release	commit \| commitdiff \| tree
2003-04-02	Stefano Zacchiroli	distribute also ocaml subdirs	commit \| commitdiff \| tree
2003-04-02	Stefano Zacchiroli	- gcc 3.2 aware changes	commit \| commitdiff \| tree
2003-04-02	Stefano Zacchiroli	made "xsl" dir autotools-aware	commit \| commitdiff \| tree
2003-04-02	Stefano Zacchiroli	gcc 3.2 aware changes	commit \| commitdiff \| tree
2003-04-02	Stefano Zacchiroli	C++ 3.2 aware changes	commit \| commitdiff \| tree
2003-04-02	Stefano Zacchiroli	added config.dirs	commit \| commitdiff \| tree
2003-04-02	Stefano Zacchiroli	made "examples" dir autotools-aware	commit \| commitdiff \| tree
2003-04-02	Stefano Zacchiroli	moved dictionaries in a new "dict" directory	commit \| commitdiff \| tree
2003-03-25	Stefano Zacchiroli	debian release 0.0.4-4	commit \| commitdiff \| tree
2003-03-25	Stefano Zacchiroli	bugfix: ships also -config script	commit \| commitdiff \| tree
2003-03-25	Stefano Zacchiroli	bumped policy version to 3.5.9	commit \| commitdiff \| tree
2003-03-25	Stefano Zacchiroli	pretty print errors using red color instead of h1 text...	commit \| commitdiff \| tree
next

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

RSS Atom