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

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

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
2003-03-25	Stefano Zacchiroli	reload/remove all stylesheets now prints also which...	commit \| commitdiff \| tree
2003-03-25	Stefano Zacchiroli	added keys method that list currently loaded stylesheets...	commit \| commitdiff \| tree
2003-03-25	Stefano Zacchiroli	added feedback for reload/remove methods (close #39)	commit \| commitdiff \| tree
2003-03-21	Stefano Zacchiroli	bugfix: takes doc from "doc" dir	commit \| commitdiff \| tree
2003-03-21	Stefano Zacchiroli	added EXTRA_DIST and docs	commit \| commitdiff \| tree
2003-03-21	Stefano Zacchiroli	empty BUGS file	commit \| commitdiff \| tree
2003-03-21	Stefano Zacchiroli	removed ancient HELM stuff	commit \| commitdiff \| tree
2003-03-21	Stefano Zacchiroli	added sample configuration file	commit \| commitdiff \| tree
2003-03-21	Stefano Zacchiroli	- implemented distcheck target	commit \| commitdiff \| tree
2003-03-21	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2003-03-21	Stefano Zacchiroli	bumped version to 0.2.1	commit \| commitdiff \| tree
2003-03-20	Stefano Zacchiroli	added distcheck target	commit \| commitdiff \| tree
2003-03-20	Stefano Zacchiroli	bumped version to 0.2.0	commit \| commitdiff \| tree
2003-03-20	Stefano Zacchiroli	added version information	commit \| commitdiff \| tree
2003-03-18	Stefano Zacchiroli	added support for NuPRL stylesheets	commit \| commitdiff \| tree
2003-03-18	Stefano Zacchiroli	added 2 seconds delay before loading stylesheets	commit \| commitdiff \| tree
2003-03-18	Stefano Zacchiroli	helm search engine back at work!	commit \| commitdiff \| tree
2003-03-15	Stefano Zacchiroli	- added support for environment specified log file...	commit \| commitdiff \| tree
2003-03-15	Stefano Zacchiroli	- catch libxslt error and debugging messages and return...	commit \| commitdiff \| tree
2003-03-15	Stefano Zacchiroli	- added support for "formatted" log messages, mainly	commit \| commitdiff \| tree
2003-03-13	Stefano Zacchiroli	added support for setting debug and error callbacks	commit \| commitdiff \| tree
2003-03-13	Stefano Zacchiroli	bugfix: installs also i_gdome_xslt.ml, gdome_xslt_init...	commit \| commitdiff \| tree
2003-03-13	Stefano Zacchiroli	debian release 0.0.4-3	commit \| commitdiff \| tree
2003-03-13	Stefano Zacchiroli	reindented and recommented kindly	commit \| commitdiff \| tree
2003-03-13	Stefano Zacchiroli	installs also i_gomde_xslt.mli	commit \| commitdiff \| tree
2003-03-13	Stefano Zacchiroli	debian release 0.0.4-2:	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	moved uwobo sources to the root uwobo directory	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	removed .cvswrappers	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	- reimplemented cache handling	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	added "output" parameter to gzip and gunzip used to...	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	added support for patch_fun also for gzipped documents	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	embedded configuration infos in usage string	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	removed dump_env in favour of env_to_string which return...	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	- embedded configuration information in help string	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	removed old java implementation	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	typo fixes in usage string	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	removed an ancient debugging message	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	added generation of dot dependency graph	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	- bugfiz: 0! = 1 :-)	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	- reverted to >= dependencies for ocaml libraries	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	changed interface of send_file function to enforce...	commit \| commitdiff \| tree
2003-03-12	Stefano Zacchiroli	debian release 0.4.1-1	commit \| commitdiff \| tree
2003-03-11	Stefano Zacchiroli	debian release 0.0.4-1	commit \| commitdiff \| tree
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
next

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

RSS Atom