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

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

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
2006-09-12	Claudio Sacerdoti...	Foo is the problematic elimination principle.	commit \| commitdiff \| tree \| snapshot
2006-09-11	Stefano Zacchiroli	ready for the upload	commit \| commitdiff \| tree \| snapshot
2006-09-11	Stefano Zacchiroli	added me as an author, better formatting of debian...	commit \| commitdiff \| tree \| snapshot
2006-09-11	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2006-09-11	Stefano Zacchiroli	committed the generated version of configure, so that...	commit \| commitdiff \| tree \| snapshot
2006-09-11	Stefano Zacchiroli	use autotools class so that configure is invoked by...	commit \| commitdiff \| tree \| snapshot
2006-09-11	Stefano Zacchiroli	bumped version	commit \| commitdiff \| tree \| snapshot
2006-09-11	Stefano Zacchiroli	snapshot: first draft of binNMU safe cdbs packaging	commit \| commitdiff \| tree \| snapshot
2006-09-11	Stefano Zacchiroli	added detection of native code compilation in "upstream...	commit \| commitdiff \| tree \| snapshot
2006-09-11	Stefano Zacchiroli	oops: changes should be committed to Makefile.in, not...	commit \| commitdiff \| tree \| snapshot
2006-09-10	Ferruccio Guidi	ok up to arity assignment	commit \| commitdiff \| tree \| snapshot
2006-09-10	Ferruccio Guidi	one problem still remains	commit \| commitdiff \| tree \| snapshot
2006-09-10	Ferruccio Guidi	3 problems solved patching the alpha-conversion of...	commit \| commitdiff \| tree \| snapshot
2006-09-08	Claudio Sacerdoti...	Bug fixed: "by ... we proved ... that is equivalent...	commit \| commitdiff \| tree \| snapshot
2006-09-08	Claudio Sacerdoti...	contentPp.ml (dead code) removed	commit \| commitdiff \| tree \| snapshot
2006-09-08	Claudio Sacerdoti...	Dead code (that produces an ugly rendering) removed.	commit \| commitdiff \| tree \| snapshot
2006-09-08	Ferruccio Guidi	removing unnecessary files	commit \| commitdiff \| tree \| snapshot
2006-09-08	Ferruccio Guidi	- some theorems from levels_defs	commit \| commitdiff \| tree \| snapshot
2006-09-07	Ferruccio Guidi	ok up to tau0	commit \| commitdiff \| tree \| snapshot
2006-09-07	Claudio Sacerdoti...	Missing alias added.	commit \| commitdiff \| tree \| snapshot
2006-09-07	Claudio Sacerdoti...	Preamble is now working properly and it does not includ...	commit \| commitdiff \| tree \| snapshot
2006-09-07	Ferruccio Guidi	error in preamble.ma	commit \| commitdiff \| tree \| snapshot
2006-09-07	Ferruccio Guidi	subst0 completed	commit \| commitdiff \| tree \| snapshot
2006-09-06	Ferruccio Guidi	some theorems about getl	commit \| commitdiff \| tree \| snapshot
2006-09-06	Enrico Tassi	Bugs fixed:	commit \| commitdiff \| tree \| snapshot
2006-09-06	Enrico Tassi	matitadep used to raise Not_found on empty files and...	commit \| commitdiff \| tree \| snapshot
2006-09-06	Ferruccio Guidi	removing unnecessary file	commit \| commitdiff \| tree \| snapshot
2006-09-06	Ferruccio Guidi	dependences fixed	commit \| commitdiff \| tree \| snapshot
2006-09-06	Ferruccio Guidi	plist added	commit \| commitdiff \| tree \| snapshot
2006-09-05	Ferruccio Guidi	removing working file	commit \| commitdiff \| tree \| snapshot
2006-09-05	Ferruccio Guidi	new theorems	commit \| commitdiff \| tree \| snapshot
2006-09-05	Enrico Tassi	fixed coercions. composite can't occur if to funclass	commit \| commitdiff \| tree \| snapshot
2006-09-05	Enrico Tassi	fixed includes	commit \| commitdiff \| tree \| snapshot
2006-09-04	Ferruccio Guidi	other working theorems + iso_trans axiomatized (proof...	commit \| commitdiff \| tree \| snapshot
2006-09-04	Enrico Tassi	BIG FAT COMMIT REGARDING COERCIONS:	commit \| commitdiff \| tree \| snapshot
2006-09-04	Ferruccio Guidi	firs error: iso/props	commit \| commitdiff \| tree \| snapshot
2006-09-04	Claudio Sacerdoti...	More aliases.	commit \| commitdiff \| tree \| snapshot
2006-09-04	Enrico Tassi	no-indent	commit \| commitdiff \| tree \| snapshot
2006-09-04	Enrico Tassi	removed non XML comment line	commit \| commitdiff \| tree \| snapshot
2006-09-04	Ferruccio Guidi	the in clause of the match costruction was wrongly...	commit \| commitdiff \| tree \| snapshot
2006-09-04	Claudio Sacerdoti...	Aliases are now wrote down even during the first pass.	commit \| commitdiff \| tree \| snapshot
2006-09-04	Claudio Sacerdoti...	matitac now fails if it tries to insert a new alias	commit \| commitdiff \| tree \| snapshot
2006-09-04	Ferruccio Guidi	new organization of the Base and LambdaDelta modules	commit \| commitdiff \| tree \| snapshot
2006-09-04	Andrea Asperti	Generation of inductive and inversion principles for...	commit \| commitdiff \| tree \| snapshot
2006-09-04	Andrea Asperti	Bug fixing. If the inductive types do not occur in...	commit \| commitdiff \| tree \| snapshot
2006-09-04	Ferruccio Guidi	moving files	commit \| commitdiff \| tree \| snapshot
2006-09-04	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2006-09-02	Ferruccio Guidi	LambdaDelta.ma and some slices of it that typecheck ok!	commit \| commitdiff \| tree \| snapshot
2006-09-01	Ferruccio Guidi	new problem:	commit \| commitdiff \| tree \| snapshot
2006-09-01	Ferruccio Guidi	Base.ma now ok!!	commit \| commitdiff \| tree \| snapshot
2006-08-31	Ferruccio Guidi	- semantics of tactic subst allmost fixed	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom