]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
components/library: dotdothack removed
[helm.git] / helm / software / matita /
2008-03-04 Ferruccio Guidicomponents/library: dotdothack removed tree | commitdiff
2008-03-04 Claudio Sacerdoti... New syntax for patterns. tree | commitdiff
2008-03-04 Claudio Sacerdoti... prodT ==> prod tree | commitdiff
2008-03-04 Claudio Sacerdoti... A) New version. tree | commitdiff
2008-02-29 Ferruccio Guidiwe added the classic substitution function tree | commitdiff
2008-02-27 Wilmer Ricciottithe proof of bertrand's conjecture is now complete tree | commitdiff
2008-02-26 Ferruccio Guidiadded MATITAOPTIONS -onepass as for LAMBDA-TYPES tree | commitdiff
2008-02-26 Ferruccio GuidiLAMBDA-TYPES: added wf3 (legal context predicate); tree | commitdiff
2008-02-24 Ferruccio Guidi$(H) added :) tree | commitdiff
2008-02-24 Ferruccio GuidiLAMBDA-TYPES: dependences calculation improved tree | commitdiff
2008-02-23 Ferruccio GuidiLAMBDA-TYPES: tree | commitdiff
2008-02-22 Ferruccio Guidi- added some options to matitadep: -stdout and -exclude tree | commitdiff
2008-02-22 Wilmer Ricciottisieve of erathostene (proof of soundness almost done) tree | commitdiff
2008-02-21 Ferruccio Guidisvn:ignores fixed tree | commitdiff
2008-02-20 Ferruccio Guidi-onepass option removed from Makefile to comile Base... tree | commitdiff
2008-02-20 Ferruccio GuidiLambdaDelta-1 regenerated as a subdevel ov LAMBDA-TYPES tree | commitdiff
2008-02-19 Ferruccio Guididependences needed a fix :) tree | commitdiff
2008-02-19 Ferruccio Guidiwe are moving the devel root one dir level up tree | commitdiff
2008-02-19 Ferruccio Guidinow inline "file.ma" is allowed. tree | commitdiff
2008-02-19 Andrea AspertiAdded o.ma (some results about the magnitude of functio... tree | commitdiff
2008-02-18 Andrea AspertiComplete proof of Bertrand for n >= 256. tree | commitdiff
2008-02-14 Andrea AspertiPrima versione di bertrand. Tanti cambiamenti qua e la. tree | commitdiff
2008-02-13 Ferruccio Guidibaseuris removed from files tree | commitdiff
2008-02-13 Ferruccio Guidifixed dependences tree | commitdiff
2008-02-13 Ferruccio Guidirenaming tree | commitdiff
2008-02-13 Ferruccio Guidirenaming tree | commitdiff
2008-02-12 Ferruccio Guidirenaming tree | commitdiff
2008-02-12 Ferruccio Guidiregeneration with new results tree | commitdiff
2008-02-12 Enrico Tassifixed path for matitadep tree | commitdiff
2008-02-12 Enrico Tassifixed make dist tree | commitdiff
2008-02-12 Enrico Tassibetter error message in case inclusion failed tree | commitdiff
2008-02-12 Enrico Tassiallow to use "../foo/bar.ma" as a path for the include... tree | commitdiff
2008-02-08 Andrea Aspertiprogress. tree | commitdiff
2008-02-08 Claudio Sacerdoti... A formalization of modified realisability with truth... tree | commitdiff
2008-02-08 Claudio Sacerdoti... prodT merged with prod tree | commitdiff
2008-02-07 Claudio Sacerdoti... ProdT was a perfect copy of Prod. Removed. tree | commitdiff
2008-02-07 Andrea AspertiResults about Chebyshev teta function. tree | commitdiff
2008-02-05 Andrea AspertiSome more theorems. tree | commitdiff
2008-02-05 Wilmer Ricciottilower bound for neper's constant tree | commitdiff
2008-02-04 Enrico Tassisad snapshot tree | commitdiff
2008-02-04 Enrico Tassisnapshot tree | commitdiff
2008-02-04 Enrico Tassisnapshot tree | commitdiff
2008-02-04 Andrea AspertiImproved approximations for A and prim. tree | commitdiff
2008-02-04 Andrea AspertiSome improvement. tree | commitdiff
2008-02-01 Enrico Tassivery bad bug found, asert false in cicReduction when... tree | commitdiff
2008-01-31 Wilmer RicciottiSquare root added. tree | commitdiff
2008-01-31 Enrico Tassisnapshot tree | commitdiff
2008-01-30 Andrea AspertiImproved approximations tree | commitdiff
2008-01-29 Andrea AspertiNew approximtions. tree | commitdiff
2008-01-24 Enrico Tassi... tree | commitdiff
2008-01-23 Enrico Tassisnapshot with more duality, almost where we left withou... tree | commitdiff
2008-01-22 Wilmer RicciottiBertrand's conjecture (weak), some work in progress tree | commitdiff
2008-01-21 Enrico Tassisnapshot tree | commitdiff
2008-01-21 Claudio Sacerdoti... Matitac now accepts multiple targets :-) (but only... tree | commitdiff
2008-01-21 Claudio Sacerdoti... Hack for code extraction re-linked, but disactivated. tree | commitdiff
2008-01-21 Claudio Sacerdoti... Old tiny freescale experiment get rid of. tree | commitdiff
2008-01-21 Claudio Sacerdoti... Typo fixed. tree | commitdiff
2008-01-21 Enrico Tassisnopshot before isabellization tree | commitdiff
2008-01-16 Enrico Tassisnapshot tree | commitdiff
2008-01-16 Enrico Tassi3.27 ok tree | commitdiff
2008-01-16 Enrico Tassiyes! the lattice_(#) -> prelattice(<) -> lattice(<... tree | commitdiff
2008-01-15 Wilmer Ricciottiupdate: upper bound for prim tree | commitdiff
2008-01-14 Enrico Tassimore lemmas, til 3.26 tree | commitdiff
2008-01-14 Enrico Tassinew deps tree | commitdiff
2008-01-14 Enrico Tassifirst lemma tree | commitdiff
2008-01-14 Enrico Tassifixed a pulback and proved 3.17 tree | commitdiff
2008-01-14 Enrico Tassiuser time is now printed correctly tree | commitdiff
2008-01-14 Enrico Tassifixed uris tree | commitdiff
2008-01-14 Wilmer RicciottiChebyshev's upper bound on prim tree | commitdiff
2008-01-11 Enrico Tassiremoved path for contribs tree | commitdiff
2008-01-11 Enrico TassiMake does not even try to build files that would be... tree | commitdiff
2008-01-11 Enrico TassiI'll talk again with ferruccio, for the moment this... tree | commitdiff
2008-01-11 Enrico Tassianother fix to make it more resistant tree | commitdiff
2008-01-11 Enrico Tassimany sed to use notation for rewriting tree | commitdiff
2008-01-11 Enrico Tassi.opt before .byte tree | commitdiff
2008-01-11 Enrico Tassiugly hack to make matitac not exit when called on a... tree | commitdiff
2008-01-11 Enrico Tassiadded a warning if the baseuri we want to clean is... tree | commitdiff
2008-01-11 Enrico Tassi-dot fixed, now the .dot file contains also edges tree | commitdiff
2008-01-11 Enrico Tassiincreased timout tree | commitdiff
2008-01-11 Enrico Tassiremoved useless assertion tree | commitdiff
2008-01-11 Enrico Tassiincreased a timeout, matitac (not .opt) should be able... tree | commitdiff
2008-01-11 Enrico Tassiadded Sys.catch_break true tree | commitdiff
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE tree | commitdiff
2007-12-21 Wilmer Ricciottibeginning proof of chebyshev's bound on prim. tree | commitdiff
2007-12-19 Enrico Tassiaccepts the poly shape for gviz maps tree | commitdiff
2007-12-17 Wilmer Ricciottiupper bound for logarithmic summation tree | commitdiff
2007-12-17 Andrea AspertiA few more lemmas. tree | commitdiff
2007-12-16 Claudio Sacerdoti... Much more verbose statistics. tree | commitdiff
2007-12-16 Claudio Sacerdoti... Bug fixed: \n prevented recognition. tree | commitdiff
2007-12-13 Andrea AspertiSome inequalities. tree | commitdiff
2007-12-12 Wilmer RicciottiProgress. tree | commitdiff
2007-12-12 Stefano Zacchiroliadd support for adding identifiers instead of only... tree | commitdiff
2007-12-11 Andrea AspertiPartial progress. tree | commitdiff
2007-12-10 Enrico Tassimore chosmetic tree | commitdiff
2007-12-10 Andrea AspertiMain result for e. tree | commitdiff
2007-12-10 Enrico Tassisandeich lemma makeup tree | commitdiff
2007-12-10 Andrea AspertiRestructuring. tree | commitdiff
2007-12-10 Andrea AspertiMain inequalities for e. tree | commitdiff
2007-12-09 Wilmer RicciottiAdded summation formula for the power of a binomial. tree | commitdiff
2007-12-08 Enrico Tassithe is_structure is a bad idea if you don't have canoni... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.