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

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

2006-01-09	Stefano Zacchiroli	do not generate deps for legacy URIs	commit \| commitdiff \| tree \| snapshot
2006-01-09	Stefano Zacchiroli	avoid writing in read only baseuris	commit \| commitdiff \| tree \| snapshot
2006-01-09	Stefano Zacchiroli	bumped year	commit \| commitdiff \| tree \| snapshot
2006-01-09	Stefano Zacchiroli	added support for repository attributes	commit \| commitdiff \| tree \| snapshot
2006-01-09	Stefano Zacchiroli	added sample entries with attributes	commit \| commitdiff \| tree \| snapshot
2006-01-09	Andrea Asperti	Old compare-terms function	commit \| commitdiff \| tree \| snapshot
2006-01-09	Andrea Asperti	removed debugging printing	commit \| commitdiff \| tree \| snapshot
2006-01-09	Stefano Zacchiroli	added cleaning of .lexicon and .metadata files	commit \| commitdiff \| tree \| snapshot
2006-01-09	Andrea Asperti	ignoring the result of load_notation	commit \| commitdiff \| tree \| snapshot
2006-01-09	Claudio Sacerdoti...	Bux fixed: matita did not save the .lexicon files!...	commit \| commitdiff \| tree \| snapshot
2006-01-09	Claudio Sacerdoti...	$Id$ readded to paramodulation/utils.ml	commit \| commitdiff \| tree \| snapshot
2006-01-09	Andrea Asperti	Added a parameter (empty list) to load_notation.	commit \| commitdiff \| tree \| snapshot
2006-01-09	Enrico Tassi	added again the bin files	commit \| commitdiff \| tree \| snapshot
2006-01-09	Enrico Tassi	moved away broken files	commit \| commitdiff \| tree \| snapshot
2006-01-09	Andrea Asperti	New version of compare_weights.	commit \| commitdiff \| tree \| snapshot
2006-01-09	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2006-01-09	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2006-01-09	Enrico Tassi	moved to svn	commit \| commitdiff \| tree \| snapshot
2006-01-09	Claudio Sacerdoti...	Stupid bug of mine fixed: sometimes (Some ~-1) was...	commit \| commitdiff \| tree \| snapshot
2006-01-09	Claudio Sacerdoti...	New version.	commit \| commitdiff \| tree \| snapshot
2006-01-08	Claudio Sacerdoti...	Bug fixed: the include_paths were no longer handled...	commit \| commitdiff \| tree \| snapshot
2006-01-08	Claudio Sacerdoti...	Bug fixed: macros in the middle of a goto cursor or...	commit \| commitdiff \| tree \| snapshot
2006-01-08	Claudio Sacerdoti...	Added $Id$ to every .ml file.	commit \| commitdiff \| tree \| snapshot
2006-01-08	Claudio Sacerdoti...	Added $Id$ to the file.	commit \| commitdiff \| tree \| snapshot
2006-01-08	Claudio Sacerdoti...	.cvsignore files removed (the svn:property property...	commit \| commitdiff \| tree \| snapshot
2006-01-08	Claudio Sacerdoti...	1. Macros are now handled using an execption that is...	commit \| commitdiff \| tree \| snapshot
2006-01-08	Stefano Zacchiroli	ported to ocaml 3.09.1	commit \| commitdiff \| tree \| snapshot
2006-01-08	Stefano Zacchiroli	ported to ocaml 3.09.1	commit \| commitdiff \| tree \| snapshot
2006-01-08	Stefano Zacchiroli	bugfix, removed an hard coded instances of ocaml ABI...	commit \| commitdiff \| tree \| snapshot
2006-01-08	Stefano Zacchiroli	ported to ocaml 3.09.1	commit \| commitdiff \| tree \| snapshot
2006-01-07	Stefano Zacchiroli	ported to ocaml 3.09.1	commit \| commitdiff \| tree \| snapshot
2005-12-26	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-24	Enrico Tassi	beauty\!	commit \| commitdiff \| tree \| snapshot
2005-12-24	Enrico Tassi	beauty\!	commit \| commitdiff \| tree \| snapshot
2005-12-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-24	Enrico Tassi	more fix	commit \| commitdiff \| tree \| snapshot
2005-12-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-24	Enrico Tassi	attempt to move nightly profiling to svn	commit \| commitdiff \| tree \| snapshot
2005-12-24	Stefano Zacchiroli	removed spurious CVSROOT from the old repository	commit \| commitdiff \| tree \| snapshot
2005-12-24	Enrico Tassi	test commit	commit \| commitdiff \| tree \| snapshot
2005-12-23	Stefano Zacchiroli	removed prova	commit \| commitdiff \| tree \| snapshot
2005-12-23	Stefano Zacchiroli	prova	commit \| commitdiff \| tree \| snapshot
2005-12-23	Stefano Zacchiroli	updated	commit \| commitdiff \| tree \| snapshot
2005-12-23	Stefano Zacchiroli	minor fixes (-nodb works again)	commit \| commitdiff \| tree \| snapshot
2005-12-22	Claudio Sacerdoti...	Added parameter first_statement_only to the functions...	commit \| commitdiff \| tree \| snapshot
2005-12-22	Claudio Sacerdoti...	alias diffing/insertion is now handled by matitaEngine...	commit \| commitdiff \| tree \| snapshot
2005-12-22	Claudio Sacerdoti...	Makefiles made less verbose.	commit \| commitdiff \| tree \| snapshot
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fixed -f in clean	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Stefano Zacchiroli	reimplemented specific marshallars on top of generic...	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Stefano Zacchiroli	added generic marshaller	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Stefano Zacchiroli	old files	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Stefano Zacchiroli	removed old Makefile	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom