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

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

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
2003-02-06	Paolo Marinelli	Added some controls to handle the case in which the...	commit \| commitdiff \| tree \| snapshot
2003-02-05	Claudio Sacerdoti...	Makefile.common.in and .depend backtracked to my last...	commit \| commitdiff \| tree \| snapshot
2003-02-05	Ferruccio Guidi	packege dependences calculation patched	commit \| commitdiff \| tree \| snapshot
2003-02-05	Claudio Sacerdoti...	Missing parameters added to MathML Content mode.	commit \| commitdiff \| tree \| snapshot
2003-02-05	Ferruccio Guidi	package dependences calulation fixed	commit \| commitdiff \| tree \| snapshot
2003-02-04	Ferruccio Guidi	SQL quoting fixed in relation.ml	commit \| commitdiff \| tree \| snapshot
2003-02-04	Paolo Marinelli	Added some controls for the graphical deleting of apost...	commit \| commitdiff \| tree \| snapshot
2003-02-04	Claudio Sacerdoti...	print_endline ==> prerr_endline	commit \| commitdiff \| tree \| snapshot
2003-02-04	Claudio Sacerdoti...	Bug fixed: ' must be quoted.	commit \| commitdiff \| tree \| snapshot
2003-02-04	Claudio Sacerdoti...	Bug fixed: "'" must be quoted.	commit \| commitdiff \| tree \| snapshot
2003-02-03	Ferruccio Guidi	old file removed	commit \| commitdiff \| tree \| snapshot
2003-02-03	Stefano Zacchiroli	added generation of LaTeX documentation	commit \| commitdiff \| tree \| snapshot
2003-02-03	Stefano Zacchiroli	updated	commit \| commitdiff \| tree \| snapshot
2003-02-03	Stefano Zacchiroli	added a lot of ocamldoc comments	commit \| commitdiff \| tree \| snapshot
2003-02-03	Stefano Zacchiroli	- added GPL preamble	commit \| commitdiff \| tree \| snapshot
2003-02-03	Stefano Zacchiroli	- added GPL preamble	commit \| commitdiff \| tree \| snapshot
2003-02-03	Stefano Zacchiroli	added GPL preamble	commit \| commitdiff \| tree \| snapshot
2003-02-03	Stefano Zacchiroli	fixed a syntax quirk to make ocamldoc happy	commit \| commitdiff \| tree \| snapshot
2003-02-03	Stefano Zacchiroli	moved an ocamldoc comment to .mli	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom