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

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

2006-10-03	Claudio Sacerdoti...	The Abort button is now working properly. Cool.	commit \| commitdiff \| tree \| snapshot
2006-10-02	Claudio Sacerdoti...	Xavier code for killing a thread commented out for...	commit \| commitdiff \| tree \| snapshot
2006-10-02	Claudio Sacerdoti...	This commit implements the Abort button for the GUI...	commit \| commitdiff \| tree \| snapshot
2006-10-02	Enrico Tassi	restored is_identity instead of is_weak_identity	commit \| commitdiff \| tree \| snapshot
2006-10-02	Claudio Sacerdoti...	** EXPERIMENTAL **	commit \| commitdiff \| tree \| snapshot
2006-10-02	Enrico Tassi	added a subtle List.rev that makes the order of the...	commit \| commitdiff \| tree \| snapshot
2006-10-02	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2006-10-02	Enrico Tassi	auto always uses the context (even if paramodulation...	commit \| commitdiff \| tree \| snapshot
2006-10-02	Enrico Tassi	returns the right list of goals	commit \| commitdiff \| tree \| snapshot
2006-10-02	Enrico Tassi	50 steps on goal are fine for irrat2	commit \| commitdiff \| tree \| snapshot
2006-10-02	Enrico Tassi	removed only made with the DB	commit \| commitdiff \| tree \| snapshot
2006-10-02	Enrico Tassi	removed a pointless call to auto	commit \| commitdiff \| tree \| snapshot
2006-10-02	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2006-10-02	Enrico Tassi	added tests for paramod	commit \| commitdiff \| tree \| snapshot
2006-10-02	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2006-10-02	Enrico Tassi	added missing *)	commit \| commitdiff \| tree \| snapshot
2006-10-02	Enrico Tassi	restored old (r6662) behaviour	commit \| commitdiff \| tree \| snapshot
2006-10-01	Enrico Tassi	when use_only_paramod is true do not calculate the...	commit \| commitdiff \| tree \| snapshot
2006-09-29	Enrico Tassi	2: is_identity -> is_weak_identity	commit \| commitdiff \| tree \| snapshot
2006-09-29	Enrico Tassi	fixed metaconvertibility that was completely wrong.	commit \| commitdiff \| tree \| snapshot
2006-09-29	Enrico Tassi	removed bad guard that was always false (assert false...	commit \| commitdiff \| tree \| snapshot
2006-09-29	Enrico Tassi	fixed (dasabled paramod)	commit \| commitdiff \| tree \| snapshot
2006-09-29	Enrico Tassi	renamed inference in founif that is more appropriate	commit \| commitdiff \| tree \| snapshot
2006-09-29	Enrico Tassi	is_identity -> is_weak_identity	commit \| commitdiff \| tree \| snapshot
2006-09-29	Enrico Tassi	hack to make the Pp work (sometimes)	commit \| commitdiff \| tree \| snapshot
2006-09-29	Enrico Tassi	new version of auto that is able to prove the irrationa...	commit \| commitdiff \| tree \| snapshot
2006-09-29	Enrico Tassi	added tests for auto	commit \| commitdiff \| tree \| snapshot
2006-09-29	Enrico Tassi	restored the good factorization file	commit \| commitdiff \| tree \| snapshot
2006-09-29	Enrico Tassi	ported to the new reflexivity implementation	commit \| commitdiff \| tree \| snapshot
2006-09-29	Enrico Tassi	maittaprover uses another format	commit \| commitdiff \| tree \| snapshot
2006-09-29	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2006-09-29	Enrico Tassi	removed a useless printing	commit \| commitdiff \| tree \| snapshot
2006-09-29	Enrico Tassi	added metas local context maction: ?n[...]	commit \| commitdiff \| tree \| snapshot
2006-09-28	Enrico Tassi	solved issues regarding SQL incredible error proness	commit \| commitdiff \| tree \| snapshot
2006-09-28	Claudio Sacerdoti...	Implemented topological sorting according to the depend...	commit \| commitdiff \| tree \| snapshot
2006-09-27	Enrico Tassi	auto snapshot	commit \| commitdiff \| tree \| snapshot
2006-09-27	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2006-09-27	Claudio Sacerdoti...	More work on the translation of technicalities/setoids.ma.	commit \| commitdiff \| tree \| snapshot
2006-09-27	Claudio Sacerdoti...	One less open helps understanding the code!	commit \| commitdiff \| tree \| snapshot
2006-09-27	Claudio Sacerdoti...	More informative error message.	commit \| commitdiff \| tree \| snapshot
2006-09-27	Enrico Tassi	fixed bug regarding developments. paths given with...	commit \| commitdiff \| tree \| snapshot
2006-09-27	Claudio Sacerdoti...	New bug found in disambiguation of records.	commit \| commitdiff \| tree \| snapshot
2006-09-27	Claudio Sacerdoti...	Initial work on setoids:	commit \| commitdiff \| tree \| snapshot
2006-09-27	Claudio Sacerdoti...	Initial work on setoids:	commit \| commitdiff \| tree \| snapshot
2006-09-27	Stefano Zacchiroli	Added generation of dependency graph for the ocaml...	commit \| commitdiff \| tree \| snapshot
2006-09-27	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2006-09-26	Claudio Sacerdoti...	Two tests used to have the same baseuri. Very bad.	commit \| commitdiff \| tree \| snapshot
2006-09-26	Enrico Tassi	added SRC parameter to makefile (the one placed in...	commit \| commitdiff \| tree \| snapshot
2006-09-26	Claudio Sacerdoti...	The precedence level is now an optional argument of...	commit \| commitdiff \| tree \| snapshot
2006-09-26	Claudio Sacerdoti...	linkonly now also links matitac	commit \| commitdiff \| tree \| snapshot
2006-09-26	Claudio Sacerdoti...	* ocaml => components	commit \| commitdiff \| tree \| snapshot
2006-09-26	Claudio Sacerdoti...	discriminate => destruct	commit \| commitdiff \| tree \| snapshot
2006-09-26	Claudio Sacerdoti...	{discriminate,injection} => destruct	commit \| commitdiff \| tree \| snapshot
2006-09-25	Claudio Sacerdoti...	injection_tac and discriminate_tac now replaced by...	commit \| commitdiff \| tree \| snapshot
2006-09-25	Claudio Sacerdoti...	injection_tac and discriminate_tac now replaced by...	commit \| commitdiff \| tree \| snapshot
2006-09-25	Claudio Sacerdoti...	Several bugs fixed in discriminate.	commit \| commitdiff \| tree \| snapshot
2006-09-25	Claudio Sacerdoti...	Bug fixed: a number alias Num 0 now subsumes the case...	commit \| commitdiff \| tree \| snapshot
2006-09-23	Enrico Tassi	last fix.	commit \| commitdiff \| tree \| snapshot
2006-09-23	Enrico Tassi	using lua5.1 instead of lua50	commit \| commitdiff \| tree \| snapshot
2006-09-23	Enrico Tassi	override USER with bench	commit \| commitdiff \| tree \| snapshot
2006-09-23	Enrico Tassi	added $(USER) so that the night bench can override...	commit \| commitdiff \| tree \| snapshot
2006-09-23	Enrico Tassi	fixed script to make csc happy	commit \| commitdiff \| tree \| snapshot
2006-09-22	Claudio Sacerdoti...	Bug fixed: aliases for numbers were no longer handled...	commit \| commitdiff \| tree \| snapshot
2006-09-21	Enrico Tassi	auto snapshot	commit \| commitdiff \| tree \| snapshot
2006-09-21	Enrico Tassi	snapshot of queries for auto+paramod	commit \| commitdiff \| tree \| snapshot
2006-09-21	Enrico Tassi	added notation	commit \| commitdiff \| tree \| snapshot
2006-09-21	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2006-09-21	Enrico Tassi	apply now uses both menv and subst to decide the fresh...	commit \| commitdiff \| tree \| snapshot
2006-09-21	Enrico Tassi	"21" -> "Implicit found"	commit \| commitdiff \| tree \| snapshot
2006-09-21	Stefano Zacchiroli	added displaying of the dep graph of a development...	commit \| commitdiff \| tree \| snapshot
2006-09-21	Stefano Zacchiroli	added generation of the .dot version of development...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Claudio Sacerdoti...	Injection now clears all intermediate results introduced.	commit \| commitdiff \| tree \| snapshot
2006-09-20	Claudio Sacerdoti...	1. bug fixed: injection now performs recursion lifting...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Claudio Sacerdoti...	Added new target linkonly to link matita without re...	commit \| commitdiff \| tree \| snapshot
2006-09-18	Ferruccio Guidi	last problem elegantly resolved!	commit \| commitdiff \| tree \| snapshot
2006-09-17	Stefano Zacchiroli	removed old .cvsignore files	commit \| commitdiff \| tree \| snapshot
2006-09-17	Stefano Zacchiroli	ready for 3.09.3 and ocaml.mk	commit \| commitdiff \| tree \| snapshot
2006-09-17	Stefano Zacchiroli	binNMU safe setting of debian/*	commit \| commitdiff \| tree \| snapshot
2006-09-15	Claudio Sacerdoti...	Yet another refinement error localized.	commit \| commitdiff \| tree \| snapshot
2006-09-15	Claudio Sacerdoti...	Debugging code deactivated.	commit \| commitdiff \| tree \| snapshot
2006-09-15	Ferruccio Guidi	useless files removed	commit \| commitdiff \| tree \| snapshot
2006-09-15	Ferruccio Guidi	exportation completed!!	commit \| commitdiff \| tree \| snapshot
2006-09-14	Stefano Zacchiroli	removed useless file in source package	commit \| commitdiff \| tree \| snapshot
2006-09-14	Stefano Zacchiroli	new release, binNMU safe	commit \| commitdiff \| tree \| snapshot
2006-09-14	Ferruccio Guidi	ok up to pc1	commit \| commitdiff \| tree \| snapshot
2006-09-14	Claudio Sacerdoti...	1. Stricter controls implemented in injection.	commit \| commitdiff \| tree \| snapshot
2006-09-14	Claudio Sacerdoti...	Bug fixed in injection: lifting was not performed corre...	commit \| commitdiff \| tree \| snapshot
2006-09-14	Claudio Sacerdoti...	1. added a test for injection	commit \| commitdiff \| tree \| snapshot
2006-09-14	Claudio Sacerdoti...	Bug fixed in pretty printing in new syntax of MutCases...	commit \| commitdiff \| tree \| snapshot
2006-09-13	Claudio Sacerdoti...	Bug fixed in injection: injection can now work on induc...	commit \| commitdiff \| tree \| snapshot
2006-09-13	Ferruccio Guidi	ok up to pr3	commit \| commitdiff \| tree \| snapshot
2006-09-13	Enrico Tassi	removed contribs from nigtly bench	commit \| commitdiff \| tree \| snapshot
2006-09-13	Enrico Tassi	some fixes to the "test notturni"	commit \| commitdiff \| tree \| snapshot
2006-09-13	Claudio Sacerdoti...	problems-4 was due to trans_eq expecting an explicit...	commit \| commitdiff \| tree \| snapshot
2006-09-13	Ferruccio Guidi	- ok pr0 pr1 pr2	commit \| commitdiff \| tree \| snapshot
2006-09-13	Claudio Sacerdoti...	1. Some warnings about unused warning fixed (hopefully...	commit \| commitdiff \| tree \| snapshot
2006-09-13	Claudio Sacerdoti...	Bug fixed in injection: a missing lift bugged the tacti...	commit \| commitdiff \| tree \| snapshot
2006-09-12	Claudio Sacerdoti...	Possible bug fixed (similar to the previous one, but...	commit \| commitdiff \| tree \| snapshot
2006-09-12	Claudio Sacerdoti...	Bug fixed in the guarded_by_descructors function: in...	commit \| commitdiff \| tree \| snapshot
2006-09-12	Claudio Sacerdoti...	Bug fixed in the guarded_by_descructors function: in...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom