]> matita.cs.unibo.it Git - helm.git/shortlog
projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2008-02-27 Wilmer Ricciottithe proof of bertrand's conjecture is now complete commit | commitdiff | tree | snapshot
2008-02-26 Ferruccio GuidiI added some debugging information commit | commitdiff | tree | snapshot
2008-02-26 Ferruccio Guidiadded MATITAOPTIONS -onepass as for LAMBDA-TYPES commit | commitdiff | tree | snapshot
2008-02-26 Ferruccio GuidiLAMBDA-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 GuidiLAMBDA-TYPES: dependences calculation improved commit | commitdiff | tree | snapshot
2008-02-23 Ferruccio GuidiLAMBDA-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 Ricciottisieve 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 Guidisvn: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 GuidiLambdaDelta-1 regenerated as a subdevel ov LAMBDA-TYPES commit | commitdiff | tree | snapshot
2008-02-20 Enrico Tassisplat_args is now better understood and debugged: we... commit | commitdiff | tree | snapshot
2008-02-20 Enrico Tassiadded small test, fixed some bugs commit | commitdiff | tree | snapshot
2008-02-20 Enrico Tassimany fixed in translation functions commit | commitdiff | tree | snapshot
2008-02-19 Ferruccio Guididependences needed a fix :) commit | commitdiff | tree | snapshot
2008-02-19 Ferruccio Guidiwe 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 Tassisnapshot inverse tranformation commit | commitdiff | tree | snapshot
2008-02-19 Enrico Tassitransformation almost finisced, not tested commit | commitdiff | tree | snapshot
2008-02-19 Ferruccio Guidinow inline "file.ma" is allowed. commit | commitdiff | tree | snapshot
2008-02-19 Andrea AspertiAdded o.ma (some results about the magnitude of functio... commit | commitdiff | tree | snapshot
2008-02-19 Enrico Tassiinitial steps of convertibility commit | commitdiff | tree | snapshot
2008-02-18 Enrico Tassisome bits of reduction, reusing psubst commit | commitdiff | tree | snapshot
2008-02-18 Andrea AspertiComplete proof of Bertrand for n >= 256. commit | commitdiff | tree | snapshot
2008-02-14 Andrea AspertiPrima versione di bertrand. Tanti cambiamenti qua e la. commit | commitdiff | tree | snapshot
2008-02-13 Ferruccio Guidibaseuris removed from files commit | commitdiff | tree | snapshot
2008-02-13 Ferruccio Guidifixed dependences commit | commitdiff | tree | snapshot
2008-02-13 Enrico Tassiconversion half inplemented commit | commitdiff | tree | snapshot
2008-02-13 Ferruccio Guidirenaming commit | commitdiff | tree | snapshot
2008-02-13 Enrico Tassireordered cases commit | commitdiff | tree | snapshot
2008-02-13 Enrico Tassireorganization of sources commit | commitdiff | tree | snapshot
2008-02-13 Enrico Tassisubstituion and lifting implemented commit | commitdiff | tree | snapshot
2008-02-13 Ferruccio Guidirenaming commit | commitdiff | tree | snapshot
2008-02-13 Enrico Tassifactorized common components of objects commit | commitdiff | tree | snapshot
2008-02-13 Enrico Tassiadded Local pragma, moved leftno and inductive into... commit | commitdiff | tree | snapshot
2008-02-13 Enrico Tassiadded leftno to indtypes, better indentation and comments commit | commitdiff | tree | snapshot
2008-02-12 Enrico TassinCic almost finished commit | commitdiff | tree | snapshot
2008-02-12 Ferruccio Guidirenaming commit | commitdiff | tree | snapshot
2008-02-12 Ferruccio Guidiregeneration with new results commit | commitdiff | tree | snapshot
2008-02-12 Enrico Tassifixed path for matitadep commit | commitdiff | tree | snapshot
2008-02-12 Enrico Tassifixed make dist commit | commitdiff | tree | snapshot
2008-02-12 Enrico Tassibetter error message in case inclusion failed commit | commitdiff | tree | snapshot
2008-02-12 Enrico Tassiallow to use "../foo/bar.ma" as a path for the include... commit | commitdiff | tree | snapshot
2008-02-08 Andrea Aspertiprogress. 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 AspertiResults about Chebyshev teta function. commit | commitdiff | tree | snapshot
2008-02-05 Enrico Tassicic defined (half) commit | commitdiff | tree | snapshot
2008-02-05 Andrea AspertiSome more theorems. commit | commitdiff | tree | snapshot
2008-02-05 Enrico Tassireindent commit | commitdiff | tree | snapshot
2008-02-05 Enrico Tassioldenv2newenv cache commit | commitdiff | tree | snapshot
2008-02-05 Enrico Tassiuri and references(uri) commit | commitdiff | tree | snapshot
2008-02-05 Enrico Tassiuri -> reference (2) commit | commitdiff | tree | snapshot
2008-02-05 Enrico Tassiuri -> reference commit | commitdiff | tree | snapshot
2008-02-05 Wilmer Ricciottilower bound for neper's constant commit | commitdiff | tree | snapshot
2008-02-04 Enrico Tassisad snapshot commit | commitdiff | tree | snapshot
2008-02-04 Enrico Tassisnapshot commit | commitdiff | tree | snapshot
2008-02-04 Enrico Tassisnapshot commit | commitdiff | tree | snapshot
2008-02-04 Andrea AspertiImproved approximations for A and prim. commit | commitdiff | tree | snapshot
2008-02-04 Andrea AspertiSome improvement. commit | commitdiff | tree | snapshot
2008-02-01 Enrico Tassivery bad bug found, asert false in cicReduction when... commit | commitdiff | tree | snapshot
2008-01-31 Wilmer RicciottiOne Obj.magic implemented, trust changed to false. commit | commitdiff | tree | snapshot
2008-01-31 Wilmer RicciottiTransformation back and forth between old and new repre... commit | commitdiff | tree | snapshot
2008-01-31 Enrico Tassisnapshot commit | commitdiff | tree | snapshot
2008-01-31 Enrico Tassinew uri defined commit | commitdiff | tree | snapshot
2008-01-31 Wilmer RicciottiSquare root added. commit | commitdiff | tree | snapshot
2008-01-31 Enrico Tassisnapshot] commit | commitdiff | tree | snapshot
2008-01-31 Enrico Tassisnapshot commit | commitdiff | tree | snapshot
2008-01-30 Enrico Tassiadded meta for the new kernel commit | commitdiff | tree | snapshot
2008-01-30 Enrico Tassistub functions to make all compile commit | commitdiff | tree | snapshot
2008-01-30 Enrico Tassibasic organization of the new kernel commit | commitdiff | tree | snapshot
2008-01-30 Andrea AspertiImproved approximations commit | commitdiff | tree | snapshot
2008-01-29 Andrea AspertiNew approximtions. commit | commitdiff | tree | snapshot
2008-01-24 Enrico Tassi... commit | commitdiff | tree | snapshot
2008-01-23 Enrico Tassisnapshot 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 RicciottiBertrand's conjecture (weak), some work in progress commit | commitdiff | tree | snapshot
2008-01-21 Enrico Tassisnapshot 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 Tassisnopshot before isabellization commit | commitdiff | tree | snapshot
2008-01-16 Enrico Tassisnapshot commit | commitdiff | tree | snapshot
2008-01-16 Enrico Tassi3.27 ok commit | commitdiff | tree | snapshot
2008-01-16 Enrico Tassiyes! the lattice_(#) -> prelattice(<) -> lattice(<... commit | commitdiff | tree | snapshot
2008-01-15 Wilmer Ricciottiupdate: upper bound for prim commit | commitdiff | tree | snapshot
2008-01-14 Enrico Tassimore lemmas, til 3.26 commit | commitdiff | tree | snapshot
2008-01-14 Enrico Tassinew deps commit | commitdiff | tree | snapshot
2008-01-14 Enrico Tassifirst lemma commit | commitdiff | tree | snapshot
2008-01-14 Enrico Tassifixed a pulback and proved 3.17 commit | commitdiff | tree | snapshot
2008-01-14 Enrico Tassiadded some doc commit | commitdiff | tree | snapshot
2008-01-14 Enrico Tassiuser time is now printed correctly commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.