]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2008-02-08 Claudio Sacerdoti... A formalization of modified realisability with truth...
2008-02-08 Claudio Sacerdoti... Bug fixed in generation of elimination principles of...
2008-02-08 Claudio Sacerdoti... prodT merged with prod
2008-02-07 Claudio Sacerdoti... ProdT was a perfect copy of Prod. Removed.
2008-02-07 Andrea AspertiResults about Chebyshev teta function.
2008-02-05 Enrico Tassicic defined (half)
2008-02-05 Andrea AspertiSome more theorems.
2008-02-05 Enrico Tassireindent
2008-02-05 Enrico Tassioldenv2newenv cache
2008-02-05 Enrico Tassiuri and references(uri)
2008-02-05 Enrico Tassiuri -> reference (2)
2008-02-05 Enrico Tassiuri -> reference
2008-02-05 Wilmer Ricciottilower bound for neper's constant
2008-02-04 Enrico Tassisad snapshot
2008-02-04 Enrico Tassisnapshot
2008-02-04 Enrico Tassisnapshot
2008-02-04 Andrea AspertiImproved approximations for A and prim.
2008-02-04 Andrea AspertiSome improvement.
2008-02-01 Enrico Tassivery bad bug found, asert false in cicReduction when...
2008-01-31 Wilmer RicciottiOne Obj.magic implemented, trust changed to false.
2008-01-31 Wilmer RicciottiTransformation back and forth between old and new repre...
2008-01-31 Enrico Tassisnapshot
2008-01-31 Enrico Tassinew uri defined
2008-01-31 Wilmer RicciottiSquare root added.
2008-01-31 Enrico Tassisnapshot]
2008-01-31 Enrico Tassisnapshot
2008-01-30 Enrico Tassiadded meta for the new kernel
2008-01-30 Enrico Tassistub functions to make all compile
2008-01-30 Enrico Tassibasic organization of the new kernel
2008-01-30 Andrea AspertiImproved approximations
2008-01-29 Andrea AspertiNew approximtions.
2008-01-24 Enrico Tassi...
2008-01-23 Enrico Tassisnapshot with more duality, almost where we left withou...
2008-01-22 Enrico Tassi...
2008-01-22 Wilmer RicciottiBertrand's conjecture (weak), some work in progress
2008-01-21 Enrico Tassisnapshot
2008-01-21 Claudio Sacerdoti... Matitac now accepts multiple targets :-) (but only...
2008-01-21 Claudio Sacerdoti... Hack for code extraction re-linked, but disactivated.
2008-01-21 Claudio Sacerdoti... Old tiny freescale experiment get rid of.
2008-01-21 Claudio Sacerdoti... Typo fixed.
2008-01-21 Enrico Tassisnopshot before isabellization
2008-01-16 Enrico Tassisnapshot
2008-01-16 Enrico Tassi3.27 ok
2008-01-16 Enrico Tassiyes! the lattice_(#) -> prelattice(<) -> lattice(<...
2008-01-15 Wilmer Ricciottiupdate: upper bound for prim
2008-01-14 Enrico Tassimore lemmas, til 3.26
2008-01-14 Enrico Tassinew deps
2008-01-14 Enrico Tassifirst lemma
2008-01-14 Enrico Tassifixed a pulback and proved 3.17
2008-01-14 Enrico Tassiadded some doc
2008-01-14 Enrico Tassiuser time is now printed correctly
2008-01-14 Enrico Tassibetter parsing of the root file
2008-01-14 Enrico Tassifixed uris
2008-01-14 Wilmer RicciottiChebyshev's upper bound on prim
2008-01-11 Enrico Tassiremoved path for contribs
2008-01-11 Enrico Tassiadded a warning when a file is not compiled cause its...
2008-01-11 Enrico TassiMake does not even try to build files that would be...
2008-01-11 Enrico TassiI'll talk again with ferruccio, for the moment this...
2008-01-11 Enrico Tassianother fix to make it more resistant
2008-01-11 Enrico Tassimany sed to use notation for rewriting
2008-01-11 Enrico Tassi.opt before .byte
2008-01-11 Enrico Tassiugly hack to make matitac not exit when called on a...
2008-01-11 Enrico Tassiadded a warning if the baseuri we want to clean is...
2008-01-11 Enrico Tassi-dot fixed, now the .dot file contains also edges
2008-01-11 Enrico Tassiincreased timout
2008-01-11 Enrico Tassiremoved useless assertion
2008-01-11 Enrico Tassiincreased a timeout, matitac (not .opt) should be able...
2008-01-11 Enrico Tassiadded Sys.catch_break true
2008-01-11 Enrico Tassicache for mtime of files is not polluted with None...
2008-01-11 Enrico TassiMake was caching too much, thus some targets were not...
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2008-01-03 Enrico Tassiimplementation of the make algorithm, still unfinished.
2007-12-29 Stefano Zacchiroli* use findlib to pass -I flags down to ocamldoc, instea...
2007-12-29 Stefano Zacchiroli* bump standards-version, no changes needed
2007-12-29 Stefano Zacchiroli* convert the package to a non-native Debian package
2007-12-28 Stefano Zacchiroli* debian/rules: instead of passing explicit -I flags...
2007-12-28 Stefano Zacchirolioverwrite old symlink upon dist
2007-12-28 Stefano Zacchiroliignore tons of generated stuff
2007-12-28 Stefano Zacchiroli* convert package to a non-native one (closes: #457353)
2007-12-28 Stefano Zacchiroli* promote Vcs-* fields to real debian/control fields
2007-12-21 Wilmer Ricciottibeginning proof of chebyshev's bound on prim.
2007-12-19 Enrico Tassiaccepts the poly shape for gviz maps
2007-12-17 Wilmer Ricciottiupper bound for logarithmic summation
2007-12-17 Andrea AspertiA few more lemmas.
2007-12-16 Claudio Sacerdoti... Much more verbose statistics.
2007-12-16 Claudio Sacerdoti... Bug fixed: \n prevented recognition.
2007-12-13 Andrea AspertiSome inequalities.
2007-12-12 Wilmer RicciottiProgress.
2007-12-12 Stefano Zacchiroliadd support for adding identifiers instead of only...
2007-12-11 Andrea AspertiPartial progress.
2007-12-10 Enrico Tassimore chosmetic
2007-12-10 Andrea AspertiMain result for e.
2007-12-10 Enrico Tassisandeich lemma makeup
2007-12-10 Andrea AspertiRestructuring.
2007-12-10 Andrea AspertiMain inequalities for e.
2007-12-09 Wilmer RicciottiAdded summation formula for the power of a binomial.
2007-12-08 Enrico Tassithe is_structure is a bad idea if you don't have canoni...
2007-12-07 Andrea AspertiBinomial coefficients and costant e.
2007-12-07 Andrea AspertiA few more theorems.
2007-12-06 Stefano Zacchirolidump spurious errors max
next