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

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

2008-03-05	Ferruccio Guidi	some corrections and additions	commit \| commitdiff \| tree \| snapshot
2008-03-05	Enrico Tassi	from now on, export MATITA_EXTRACT=true to extract	commit \| commitdiff \| tree \| snapshot
2008-03-05	Enrico Tassi	verbosity increased in case of error	commit \| commitdiff \| tree \| snapshot
2008-03-04	Ferruccio Guidi	components/library: dotdothack removed	commit \| commitdiff \| tree \| snapshot
2008-03-04	Claudio Sacerdoti...	New syntax for patterns.	commit \| commitdiff \| tree \| snapshot
2008-03-04	Claudio Sacerdoti...	prodT ==> prod	commit \| commitdiff \| tree \| snapshot
2008-03-04	Claudio Sacerdoti...	A) New version.	commit \| commitdiff \| tree \| snapshot
2008-02-29	Ferruccio Guidi	we added the classic substitution function	commit \| commitdiff \| tree \| snapshot
2008-02-28	Enrico Tassi	firs attempt to compile with ocamlbuild	commit \| commitdiff \| tree \| snapshot
2008-02-27	Wilmer Ricciotti	the proof of bertrand's conjecture is now complete	commit \| commitdiff \| tree \| snapshot
2008-02-26	Ferruccio Guidi	I added some debugging information	commit \| commitdiff \| tree \| snapshot
2008-02-26	Ferruccio Guidi	added MATITAOPTIONS -onepass as for LAMBDA-TYPES	commit \| commitdiff \| tree \| snapshot
2008-02-26	Ferruccio Guidi	LAMBDA-TYPES: added wf3 (legal context predicate);	commit \| commitdiff \| tree \| snapshot
2008-02-24	Ferruccio Guidi	$(H) added :)	commit \| commitdiff \| tree \| snapshot
2008-02-24	Ferruccio Guidi	LAMBDA-TYPES: dependences calculation improved	commit \| commitdiff \| tree \| snapshot
2008-02-23	Ferruccio Guidi	LAMBDA-TYPES:	commit \| commitdiff \| tree \| snapshot
2008-02-22	Ferruccio Guidi	- added some options to matitadep: -stdout and -exclude	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom