]> matita.cs.unibo.it Git - helm.git/history - helm
...
[helm.git] / helm /
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 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
2007-12-06 Enrico Tassiexcede->excess
2007-12-06 Enrico Tassiexcedence -> excess
2007-12-06 Enrico Tassiweight -> value
2007-12-05 Stefano Zacchirolidump result table in \TeX format
2007-12-05 Claudio Sacerdoti... ...
2007-12-04 Claudio Sacerdoti... Repeated errors are not duplicated.
2007-12-04 Claudio Sacerdoti... Even if the error is not localized, it was not a good...
2007-12-04 Enrico Tassirefactoring of some lemmas, shorter proofs
2007-12-04 Claudio Sacerdoti... Some terms are not localized from the very beginning :-(
2007-12-04 Claudio Sacerdoti... Added debugging option to ask for all disambiguation...
2007-12-04 Claudio Sacerdoti... One more error localized. But the code is really ugly...
2007-12-04 Enrico Tassiadded do_heavy_checks documentation
2007-12-04 Enrico Tassido_heavy_checks not always true, take ths option from...
2007-12-04 Enrico Tassiadded do_heavy_checks default
2007-12-04 Enrico Tassiif parameter type is given, this assert is false
2007-12-04 Claudio Sacerdoti... Only errors from passes 4 and 6 are kept.
2007-12-04 Claudio Sacerdoti... Reindented.
2007-12-04 Enrico Tassisandwitch theorem done
2007-12-04 Enrico Tassiremoved all the axioms!!!
2007-12-04 Enrico Tassisligtly more general results, still to reorganize
next