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

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

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
2006-08-31	Ferruccio Guidi	fixing the semantics of subst	commit \| commitdiff \| tree \| snapshot
2006-08-30	Ferruccio Guidi	a bit of improvement	commit \| commitdiff \| tree \| snapshot
2006-08-29	Ferruccio Guidi	aliases removed	commit \| commitdiff \| tree \| snapshot
2006-08-29	Ferruccio Guidi	added a preamble file with disambiguation information	commit \| commitdiff \| tree \| snapshot
2006-08-29	Ferruccio Guidi	- new tactic subst removes simple non recursive equalit...	commit \| commitdiff \| tree \| snapshot
2006-08-29	Claudio Sacerdoti...	cic/test.ml moved to binaries/utilities	commit \| commitdiff \| tree \| snapshot
2006-08-29	Claudio Sacerdoti...	Documentation for let-rec fixed.	commit \| commitdiff \| tree \| snapshot
2006-08-29	Ferruccio Guidi	test file with some bugs	commit \| commitdiff \| tree \| snapshot
2006-08-29	Stefano Zacchiroli	- bumped year	commit \| commitdiff \| tree \| snapshot
2006-08-28	Ferruccio Guidi	- Level-1: some problems solved	commit \| commitdiff \| tree \| snapshot
2006-08-28	Ferruccio Guidi	- Level-1: some fixes to the extraction procedure	commit \| commitdiff \| tree \| snapshot
2006-08-27	Ferruccio Guidi	- makefile added	commit \| commitdiff \| tree \| snapshot
2006-08-27	Ferruccio Guidi	- record constructor alpha-converted	commit \| commitdiff \| tree \| snapshot
2006-08-27	Ferruccio Guidi	- Level-1: added two problems	commit \| commitdiff \| tree \| snapshot
2006-08-26	Ferruccio Guidi	- Level-1: added some problems	commit \| commitdiff \| tree \| snapshot
2006-08-26	Ferruccio Guidi	- changed baseuri	commit \| commitdiff \| tree \| snapshot
2006-08-26	Ferruccio Guidi	- removed () around sorts	commit \| commitdiff \| tree \| snapshot
2006-08-26	Ferruccio Guidi	- added some aliases	commit \| commitdiff \| tree \| snapshot
2006-08-26	Ferruccio Guidi	changed baseuri	commit \| commitdiff \| tree \| snapshot
2006-08-26	Ferruccio Guidi	- added problem 2	commit \| commitdiff \| tree \| snapshot
2006-08-26	Ferruccio Guidi	- Unified : some definitions of unified \lambda...	commit \| commitdiff \| tree \| snapshot
2006-08-25	Ferruccio Guidi	trying to make output notation parsable	commit \| commitdiff \| tree \| snapshot
2006-08-24	Ferruccio Guidi	some properties of NLE	commit \| commitdiff \| tree \| snapshot
2006-08-24	Ferruccio Guidi	- new legature == for \equiv used in the notation for...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom