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

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

2003-03-18	Claudio Sacerdoti...	The reload method requires now the "keys" parameter...	commit \| commitdiff \| tree \| snapshot
2003-03-18	Stefano Zacchiroli	added support for NuPRL stylesheets	commit \| commitdiff \| tree \| snapshot
2003-03-18	Stefano Zacchiroli	added 2 seconds delay before loading stylesheets	commit \| commitdiff \| tree \| snapshot
2003-03-18	Stefano Zacchiroli	helm search engine back at work!	commit \| commitdiff \| tree \| snapshot
2003-03-17	Ferruccio Guidi	features: patched	commit \| commitdiff \| tree \| snapshot
2003-03-15	Stefano Zacchiroli	- added support for environment specified log file...	commit \| commitdiff \| tree \| snapshot
2003-03-15	Stefano Zacchiroli	- catch libxslt error and debugging messages and return...	commit \| commitdiff \| tree \| snapshot
2003-03-15	Stefano Zacchiroli	- added support for "formatted" log messages, mainly	commit \| commitdiff \| tree \| snapshot
2003-03-14	Ferruccio Guidi	link patched	commit \| commitdiff \| tree \| snapshot
2003-03-14	Ferruccio Guidi	added: features and documentation	commit \| commitdiff \| tree \| snapshot
2003-03-14	Paolo Marinelli	Added some comments to the source code.	commit \| commitdiff \| tree \| snapshot
2003-03-13	Stefano Zacchiroli	added support for setting debug and error callbacks	commit \| commitdiff \| tree \| snapshot
2003-03-13	Stefano Zacchiroli	bugfix: installs also i_gdome_xslt.ml, gdome_xslt_init...	commit \| commitdiff \| tree \| snapshot
2003-03-13	Stefano Zacchiroli	debian release 0.0.4-3	commit \| commitdiff \| tree \| snapshot
2003-03-13	Paolo Marinelli	Added the completion of the macro's name.	commit \| commitdiff \| tree \| snapshot
2003-03-13	Paolo Marinelli	This xslt transforms the TML tree in TeX using a partic...	commit \| commitdiff \| tree \| snapshot
2003-03-13	Stefano Zacchiroli	reindented and recommented kindly	commit \| commitdiff \| tree \| snapshot
2003-03-13	Stefano Zacchiroli	installs also i_gomde_xslt.mli	commit \| commitdiff \| tree \| snapshot
2003-03-13	Stefano Zacchiroli	debian release 0.0.4-2:	commit \| commitdiff \| tree \| snapshot
2003-03-13	Claudio Sacerdoti...	- Some .cvsignore were missing	commit \| commitdiff \| tree \| snapshot
2003-03-13	Luca Padovani	* removed .in files	commit \| commitdiff \| tree \| snapshot
2003-03-13	Luca Padovani	* removed GLIB 2 dependencies (GLIB 2 not used!)	commit \| commitdiff \| tree \| snapshot
2003-03-13	Claudio Sacerdoti...	Removed the line that sourced the personal configuratio...	commit \| commitdiff \| tree \| snapshot
2003-03-13	Ferruccio Guidi	MathQL homepage added	commit \| commitdiff \| tree \| snapshot
2003-03-13	Luca Padovani	* license update	commit \| commitdiff \| tree \| snapshot
2003-03-13	Luca Padovani	* licenses updated	commit \| commitdiff \| tree \| snapshot
2003-03-13	Luca Padovani	* added license and copyright to every source file	commit \| commitdiff \| tree \| snapshot
2003-03-13	Luca Padovani	* disable-shared doens't bother ocaml	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	moved uwobo sources to the root uwobo directory	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	removed .cvswrappers	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	- reimplemented cache handling	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	added "output" parameter to gzip and gunzip used to...	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	added support for patch_fun also for gzipped documents	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	embedded configuration infos in usage string	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	removed dump_env in favour of env_to_string which retur...	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	- embedded configuration information in help string	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	removed old java implementation	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	typo fixes in usage string	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	removed an ancient debugging message	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	added generation of dot dependency graph	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	- bugfiz: 0! = 1 :-)	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	- reverted to >= dependencies for ocaml libraries	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	changed interface of send_file function to enforce...	commit \| commitdiff \| tree \| snapshot
2003-03-12	Luca Padovani	* temporary fix for handling relative/absolute filenames in	commit \| commitdiff \| tree \| snapshot
2003-03-12	Luca Padovani	* changed handling of ' (\primes) with a few patches...	commit \| commitdiff \| tree \| snapshot
2003-03-12	Stefano Zacchiroli	debian release 0.4.1-1	commit \| commitdiff \| tree \| snapshot
2003-03-11	Stefano Zacchiroli	debian release 0.0.4-1	commit \| commitdiff \| tree \| snapshot
2003-03-11	Stefano Zacchiroli	use autotools also for ocaml part (again?)	commit \| commitdiff \| tree \| snapshot
2003-02-25	Stefano Zacchiroli	- added support for NuPRL URIs in xml_url_of_uri	commit \| commitdiff \| tree \| snapshot
2003-02-25	Stefano Zacchiroli	- added default value for parse_patch function	commit \| commitdiff \| tree \| snapshot
2003-02-25	Stefano Zacchiroli	added is_blank_line facility to match line that should...	commit \| commitdiff \| tree \| snapshot
2003-02-25	Stefano Zacchiroli	added generation of DOT modules dependency graph	commit \| commitdiff \| tree \| snapshot
2003-02-24	Paolo Marinelli	Added the special deletion. Pressing backspace, the...	commit \| commitdiff \| tree \| snapshot
2003-02-23	Stefano Zacchiroli	- better error messages on make failure	commit \| commitdiff \| tree \| snapshot
2003-02-21	Stefano Zacchiroli	added hbugs-client META	commit \| commitdiff \| tree \| snapshot
2003-02-21	Stefano Zacchiroli	rely on correct settings of OCAMLPATH	commit \| commitdiff \| tree \| snapshot
2003-02-21	Stefano Zacchiroli	added pp for apply hint	commit \| commitdiff \| tree \| snapshot
2003-02-21	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2003-02-21	Luca Padovani	* some fixes so to make Ocaml garbage collector happy	commit \| commitdiff \| tree \| snapshot
2003-02-21	Luca Padovani	* the minus sign is now mapped to the right Unicode...	commit \| commitdiff \| tree \| snapshot
2003-02-21	Luca Padovani	* removed debug message	commit \| commitdiff \| tree \| snapshot
2003-02-21	Luca Padovani	* click signal changed: now the element argument is...	commit \| commitdiff \| tree \| snapshot
2003-02-20	Stefano Zacchiroli	global Makefile to build gTopLevel with all its depende...	commit \| commitdiff \| tree \| snapshot
2003-02-20	Stefano Zacchiroli	exposed Http_message module	commit \| commitdiff \| tree \| snapshot
2003-02-20	Stefano Zacchiroli	moved here misc functions related to URIs from gTopLeve...	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	ignore *.LOG files	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	first tutors implementation, contains:	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	- added run/'s .cvsignore ignoring *.LOG files	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	- added distclean support	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	represented new Wow message	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	- implemented status {,de}serialization	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	- formalized proof engine status	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	- added helm- modules dependencies	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	added common module	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	- added callbacks parameters to hbugsClient constructor...	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	- removed use hint button	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	s/gui/hbugs_client_gui/	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	foo main program that instantiate a client GUI, for...	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	- bugfix: musings table is now consistent!	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	- better specialization of some error messages	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	- added doc target to generate .dot dependency graph...	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	added control script to start/stop broker	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	added hbugs-common and hbugs-thread_safe	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	added hbugs-common objects	commit \| commitdiff \| tree \| snapshot
2003-02-19	Stefano Zacchiroli	added META for hbugs client	commit \| commitdiff \| tree \| snapshot
2003-02-14	Luca Padovani	* the stylesheet does not generate the tml namespace...	commit \| commitdiff \| tree \| snapshot
2003-02-14	Luca Padovani	* removed memory leak (maybe)	commit \| commitdiff \| tree \| snapshot
2003-02-14	Claudio Sacerdoti...	Debug code removed.	commit \| commitdiff \| tree \| snapshot
2003-02-13	Luca Padovani	* assertion too strict removed	commit \| commitdiff \| tree \| snapshot
2003-02-13	Luca Padovani	* added missing dependencies	commit \| commitdiff \| tree \| snapshot
2003-02-13	Claudio Sacerdoti...	Type fixed.	commit \| commitdiff \| tree \| snapshot
2003-02-13	Luca Padovani	* added show/hide cursro methods	commit \| commitdiff \| tree \| snapshot
2003-02-12	Luca Padovani	* the type of the constructor was wrong	commit \| commitdiff \| tree \| snapshot
2003-02-12	Luca Padovani	* bind of method get_drawing_area	commit \| commitdiff \| tree \| snapshot
2003-02-12	Paolo Marinelli	Bug fixed. In the previous version, all right open...	commit \| commitdiff \| tree \| snapshot
2003-02-08	Luca Padovani	* this is a large commit	commit \| commitdiff \| tree \| snapshot
2003-02-08	Luca Padovani	* added apply method that takes no parameters	commit \| commitdiff \| tree \| snapshot
2003-02-07	Claudio Sacerdoti...	Added support for NuPRL URIs.	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom