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

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

2006-01-19	Claudio Sacerdoti...	New reduction strategy (that behaves much better during...	commit \| commitdiff \| tree \| snapshot
2006-01-19	Claudio Sacerdoti...	1. Back to nicer (and more comprehensible) notation...	commit \| commitdiff \| tree \| snapshot
2006-01-19	Claudio Sacerdoti...	"Hiding" notation for implicit coercion. Cool.	commit \| commitdiff \| tree \| snapshot
2006-01-19	Andrea Asperti	Some work...	commit \| commitdiff \| tree \| snapshot
2006-01-19	Claudio Sacerdoti...	A few experiments (with horrible results) using notation...	commit \| commitdiff \| tree \| snapshot
2006-01-18	Claudio Sacerdoti...	Aggiornato alla nuova gerarchia di moduli.	commit \| commitdiff \| tree \| snapshot
2006-01-18	Enrico Tassi	debug prints commented	commit \| commitdiff \| tree \| snapshot
2006-01-18	Enrico Tassi	some debug prints/stats	commit \| commitdiff \| tree \| snapshot
2006-01-18	Claudio Sacerdoti...	library ==> component	commit \| commitdiff \| tree \| snapshot
2006-01-18	Claudio Sacerdoti...	paramodulation is no longer a self-alone module	commit \| commitdiff \| tree \| snapshot
2006-01-18	Claudio Sacerdoti...	baseuri of coq.ma fixed	commit \| commitdiff \| tree \| snapshot
2006-01-18	Claudio Sacerdoti...	libraries.ps no longer in synch.	commit \| commitdiff \| tree \| snapshot
2006-01-18	Claudio Sacerdoti...	New dependencies!	commit \| commitdiff \| tree \| snapshot
2006-01-18	Enrico Tassi	Universes speedup:	commit \| commitdiff \| tree \| snapshot
2006-01-18	Enrico Tassi	fast hack to fix decompilation with -nodb with the...	commit \| commitdiff \| tree \| snapshot
2006-01-18	Stefano Zacchiroli	changed universes merging order: euristic which improve...	commit \| commitdiff \| tree \| snapshot
2006-01-17	Claudio Sacerdoti...	Bug fixed (in Cast).	commit \| commitdiff \| tree \| snapshot
2006-01-17	Claudio Sacerdoti...	An embryonic kernel of the algebraic library.	commit \| commitdiff \| tree \| snapshot
2006-01-17	Claudio Sacerdoti...	subst_vars optimized for the explicit_named_subst=...	commit \| commitdiff \| tree \| snapshot
2006-01-16	Claudio Sacerdoti...	Dead code removed and reindentation.	commit \| commitdiff \| tree \| snapshot
2006-01-16	Claudio Sacerdoti...	(Partial commit)	commit \| commitdiff \| tree \| snapshot
2006-01-16	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2006-01-16	Claudio Sacerdoti...	Bug fixed: the wrong context was used.	commit \| commitdiff \| tree \| snapshot
2006-01-16	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2006-01-16	Stefano Zacchiroli	bugfix for missing parens: when the precedence does...	commit \| commitdiff \| tree \| snapshot
2006-01-16	Andrea Asperti	Added recursive path ordering and demodulation tactic.	commit \| commitdiff \| tree \| snapshot
2006-01-13	Claudio Sacerdoti...	More informative error message.	commit \| commitdiff \| tree \| snapshot
2006-01-12	Enrico Tassi	fixed coercions undoooing	commit \| commitdiff \| tree \| snapshot
2006-01-12	Enrico Tassi	fixed	commit \| commitdiff \| tree \| snapshot
2006-01-12	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2006-01-12	Enrico Tassi	fixed compilation order	commit \| commitdiff \| tree \| snapshot
2006-01-12	Enrico Tassi	fixes for paramodulation relocation	commit \| commitdiff \| tree \| snapshot
2006-01-12	Enrico Tassi	fixed paramodulation trnsition	commit \| commitdiff \| tree \| snapshot
2006-01-12	Andrea Asperti	Removed calls to paramodulation.saturation.init	commit \| commitdiff \| tree \| snapshot
2006-01-12	Andrea Asperti	Moved paramodulation inside tactics.	commit \| commitdiff \| tree \| snapshot
2006-01-12	Claudio Sacerdoti...	ignore used to avoid Y warning	commit \| commitdiff \| tree \| snapshot
2006-01-12	Claudio Sacerdoti...	Dependency coq.moo.opt added to target tests.opt	commit \| commitdiff \| tree \| snapshot
2006-01-12	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2006-01-12	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2006-01-11	Enrico Tassi	mah...	commit \| commitdiff \| tree \| snapshot
2006-01-11	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2006-01-11	Enrico Tassi	Added $SVNOPTION.	commit \| commitdiff \| tree \| snapshot
2006-01-11	Claudio Sacerdoti...	svn now uses $SVNOPTIONS;	commit \| commitdiff \| tree \| snapshot
2006-01-11	Claudio Sacerdoti...	New table bench_svn to keep the map "mark"==>"revision"	commit \| commitdiff \| tree \| snapshot
2006-01-11	Claudio Sacerdoti...	Hand-made generated inversion lemma.	commit \| commitdiff \| tree \| snapshot
2006-01-11	marangon	Code clean up.	commit \| commitdiff \| tree \| snapshot
2006-01-10	Ferruccio Guidi	cle introduced; ceq fixed	commit \| commitdiff \| tree \| snapshot
2006-01-10	Stefano Zacchiroli	added $Id$	commit \| commitdiff \| tree \| snapshot
2006-01-10	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2006-01-10	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2006-01-10	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2006-01-10	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2006-01-10	Claudio Sacerdoti...	Warning Y fixed.	commit \| commitdiff \| tree \| snapshot
2006-01-10	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2006-01-10	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2006-01-10	Enrico Tassi	LIMIT 0,-1 no more valid --> removed	commit \| commitdiff \| tree \| snapshot
2006-01-09	Claudio Sacerdoti...	paramodulation now compiles with ocaml 3.09 in opt...	commit \| commitdiff \| tree \| snapshot
2006-01-09	Claudio Sacerdoti...	The proofContext method now returns the empty context...	commit \| commitdiff \| tree \| snapshot
2006-01-09	Claudio Sacerdoti...	Bug fixed in computation of the domain of records with...	commit \| commitdiff \| tree \| snapshot
2006-01-09	Stefano Zacchiroli	changes location of coq.ma (now "legacy/coq.ma")	commit \| commitdiff \| tree \| snapshot
2006-01-09	Stefano Zacchiroli	matita standard library is an include path per default	commit \| commitdiff \| tree \| snapshot
2006-01-09	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2006-01-09	Stefano Zacchiroli	coq repository is legacy	commit \| commitdiff \| tree \| snapshot
2006-01-09	Stefano Zacchiroli	added stdlib_dir entry	commit \| commitdiff \| tree \| snapshot
2006-01-09	Stefano Zacchiroli	added buildTimeConf interface	commit \| commitdiff \| tree \| snapshot
2006-01-09	Stefano Zacchiroli	moved coq.ma to library/legacy/	commit \| commitdiff \| tree \| snapshot
2006-01-09	Stefano Zacchiroli	- new location for coq.ma	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom