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

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

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
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
next

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

RSS Atom