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

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

2008-02-22	Wilmer Ricciotti	sieve of erathostene (proof of soundness almost done)	commit \| commitdiff \| tree \| snapshot
2008-02-21	Claudio Sacerdoti...	A new very simple example for recursive functions....	commit \| commitdiff \| tree \| snapshot
2008-02-21	Claudio Sacerdoti...	Avoid translating back recursive fixes to the same...	commit \| commitdiff \| tree \| snapshot
2008-02-21	Claudio Sacerdoti...	Avoid application to 0 arguments.	commit \| commitdiff \| tree \| snapshot
2008-02-21	Claudio Sacerdoti...	Better handling of exceptions.	commit \| commitdiff \| tree \| snapshot
2008-02-21	Ferruccio Guidi	svn:ignores fixed	commit \| commitdiff \| tree \| snapshot
2008-02-20	Ferruccio Guidi	-onepass option removed from Makefile to comile Base...	commit \| commitdiff \| tree \| snapshot
2008-02-20	Ferruccio Guidi	LambdaDelta-1 regenerated as a subdevel ov LAMBDA-TYPES	commit \| commitdiff \| tree \| snapshot
2008-02-20	Enrico Tassi	splat_args is now better understood and debugged: we...	commit \| commitdiff \| tree \| snapshot
2008-02-20	Enrico Tassi	added small test, fixed some bugs	commit \| commitdiff \| tree \| snapshot
2008-02-20	Enrico Tassi	many fixed in translation functions	commit \| commitdiff \| tree \| snapshot
2008-02-19	Ferruccio Guidi	dependences needed a fix :)	commit \| commitdiff \| tree \| snapshot
2008-02-19	Ferruccio Guidi	we are moving the devel root one dir level up	commit \| commitdiff \| tree \| snapshot
2008-02-19	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-02-19	Enrico Tassi	snapshot inverse tranformation	commit \| commitdiff \| tree \| snapshot
2008-02-19	Enrico Tassi	transformation almost finisced, not tested	commit \| commitdiff \| tree \| snapshot
2008-02-19	Ferruccio Guidi	now inline "file.ma" is allowed.	commit \| commitdiff \| tree \| snapshot
2008-02-19	Andrea Asperti	Added o.ma (some results about the magnitude of functio...	commit \| commitdiff \| tree \| snapshot
2008-02-19	Enrico Tassi	initial steps of convertibility	commit \| commitdiff \| tree \| snapshot
2008-02-18	Enrico Tassi	some bits of reduction, reusing psubst	commit \| commitdiff \| tree \| snapshot
2008-02-18	Andrea Asperti	Complete proof of Bertrand for n >= 256.	commit \| commitdiff \| tree \| snapshot
2008-02-14	Andrea Asperti	Prima versione di bertrand. Tanti cambiamenti qua e la.	commit \| commitdiff \| tree \| snapshot
2008-02-13	Ferruccio Guidi	baseuris removed from files	commit \| commitdiff \| tree \| snapshot
2008-02-13	Ferruccio Guidi	fixed dependences	commit \| commitdiff \| tree \| snapshot
2008-02-13	Enrico Tassi	conversion half inplemented	commit \| commitdiff \| tree \| snapshot
2008-02-13	Ferruccio Guidi	renaming	commit \| commitdiff \| tree \| snapshot
2008-02-13	Enrico Tassi	reordered cases	commit \| commitdiff \| tree \| snapshot
2008-02-13	Enrico Tassi	reorganization of sources	commit \| commitdiff \| tree \| snapshot
2008-02-13	Enrico Tassi	substituion and lifting implemented	commit \| commitdiff \| tree \| snapshot
2008-02-13	Ferruccio Guidi	renaming	commit \| commitdiff \| tree \| snapshot
2008-02-13	Enrico Tassi	factorized common components of objects	commit \| commitdiff \| tree \| snapshot
2008-02-13	Enrico Tassi	added Local pragma, moved leftno and inductive into...	commit \| commitdiff \| tree \| snapshot
2008-02-13	Enrico Tassi	added leftno to indtypes, better indentation and comments	commit \| commitdiff \| tree \| snapshot
2008-02-12	Enrico Tassi	nCic almost finished	commit \| commitdiff \| tree \| snapshot
2008-02-12	Ferruccio Guidi	renaming	commit \| commitdiff \| tree \| snapshot
2008-02-12	Ferruccio Guidi	regeneration with new results	commit \| commitdiff \| tree \| snapshot
2008-02-12	Enrico Tassi	fixed path for matitadep	commit \| commitdiff \| tree \| snapshot
2008-02-12	Enrico Tassi	fixed make dist	commit \| commitdiff \| tree \| snapshot
2008-02-12	Enrico Tassi	better error message in case inclusion failed	commit \| commitdiff \| tree \| snapshot
2008-02-12	Enrico Tassi	allow to use "../foo/bar.ma" as a path for the include...	commit \| commitdiff \| tree \| snapshot
2008-02-08	Andrea Asperti	progress.	commit \| commitdiff \| tree \| snapshot
2008-02-08	Claudio Sacerdoti...	A formalization of modified realisability with truth...	commit \| commitdiff \| tree \| snapshot
2008-02-08	Claudio Sacerdoti...	Bug fixed in generation of elimination principles of...	commit \| commitdiff \| tree \| snapshot
2008-02-08	Claudio Sacerdoti...	prodT merged with prod	commit \| commitdiff \| tree \| snapshot
2008-02-07	Claudio Sacerdoti...	ProdT was a perfect copy of Prod. Removed.	commit \| commitdiff \| tree \| snapshot
2008-02-07	Andrea Asperti	Results about Chebyshev teta function.	commit \| commitdiff \| tree \| snapshot
2008-02-05	Enrico Tassi	cic defined (half)	commit \| commitdiff \| tree \| snapshot
2008-02-05	Andrea Asperti	Some more theorems.	commit \| commitdiff \| tree \| snapshot
2008-02-05	Enrico Tassi	reindent	commit \| commitdiff \| tree \| snapshot
2008-02-05	Enrico Tassi	oldenv2newenv cache	commit \| commitdiff \| tree \| snapshot
2008-02-05	Enrico Tassi	uri and references(uri)	commit \| commitdiff \| tree \| snapshot
2008-02-05	Enrico Tassi	uri -> reference (2)	commit \| commitdiff \| tree \| snapshot
2008-02-05	Enrico Tassi	uri -> reference	commit \| commitdiff \| tree \| snapshot
2008-02-05	Wilmer Ricciotti	lower bound for neper's constant	commit \| commitdiff \| tree \| snapshot
2008-02-04	Enrico Tassi	sad snapshot	commit \| commitdiff \| tree \| snapshot
2008-02-04	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2008-02-04	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2008-02-04	Andrea Asperti	Improved approximations for A and prim.	commit \| commitdiff \| tree \| snapshot
2008-02-04	Andrea Asperti	Some improvement.	commit \| commitdiff \| tree \| snapshot
2008-02-01	Enrico Tassi	very bad bug found, asert false in cicReduction when...	commit \| commitdiff \| tree \| snapshot
2008-01-31	Wilmer Ricciotti	One Obj.magic implemented, trust changed to false.	commit \| commitdiff \| tree \| snapshot
2008-01-31	Wilmer Ricciotti	Transformation back and forth between old and new repre...	commit \| commitdiff \| tree \| snapshot
2008-01-31	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2008-01-31	Enrico Tassi	new uri defined	commit \| commitdiff \| tree \| snapshot
2008-01-31	Wilmer Ricciotti	Square root added.	commit \| commitdiff \| tree \| snapshot
2008-01-31	Enrico Tassi	snapshot]	commit \| commitdiff \| tree \| snapshot
2008-01-31	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2008-01-30	Enrico Tassi	added meta for the new kernel	commit \| commitdiff \| tree \| snapshot
2008-01-30	Enrico Tassi	stub functions to make all compile	commit \| commitdiff \| tree \| snapshot
2008-01-30	Enrico Tassi	basic organization of the new kernel	commit \| commitdiff \| tree \| snapshot
2008-01-30	Andrea Asperti	Improved approximations	commit \| commitdiff \| tree \| snapshot
2008-01-29	Andrea Asperti	New approximtions.	commit \| commitdiff \| tree \| snapshot
2008-01-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-01-23	Enrico Tassi	snapshot with more duality, almost where we left withou...	commit \| commitdiff \| tree \| snapshot
2008-01-22	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-01-22	Wilmer Ricciotti	Bertrand's conjecture (weak), some work in progress	commit \| commitdiff \| tree \| snapshot
2008-01-21	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2008-01-21	Claudio Sacerdoti...	Matitac now accepts multiple targets :-) (but only...	commit \| commitdiff \| tree \| snapshot
2008-01-21	Claudio Sacerdoti...	Hack for code extraction re-linked, but disactivated.	commit \| commitdiff \| tree \| snapshot
2008-01-21	Claudio Sacerdoti...	Old tiny freescale experiment get rid of.	commit \| commitdiff \| tree \| snapshot
2008-01-21	Claudio Sacerdoti...	Typo fixed.	commit \| commitdiff \| tree \| snapshot
2008-01-21	Enrico Tassi	snopshot before isabellization	commit \| commitdiff \| tree \| snapshot
2008-01-16	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2008-01-16	Enrico Tassi	3.27 ok	commit \| commitdiff \| tree \| snapshot
2008-01-16	Enrico Tassi	yes! the lattice_(#) -> prelattice(<) -> lattice(<...	commit \| commitdiff \| tree \| snapshot
2008-01-15	Wilmer Ricciotti	update: upper bound for prim	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	more lemmas, til 3.26	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	new deps	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	first lemma	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	fixed a pulback and proved 3.17	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	added some doc	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	user time is now printed correctly	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	better parsing of the root file	commit \| commitdiff \| tree \| snapshot
2008-01-14	Enrico Tassi	fixed uris	commit \| commitdiff \| tree \| snapshot
2008-01-14	Wilmer Ricciotti	Chebyshev's upper bound on prim	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	removed path for contribs	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	added a warning when a file is not compiled cause its...	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	Make does not even try to build files that would be...	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	I'll talk again with ferruccio, for the moment this...	commit \| commitdiff \| tree \| snapshot
2008-01-11	Enrico Tassi	another fix to make it more resistant	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom