]> 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-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
2008-01-14 Enrico Tassibetter parsing of the root file commit | commitdiff | tree | snapshot
2008-01-14 Enrico Tassifixed uris commit | commitdiff | tree | snapshot
2008-01-14 Wilmer RicciottiChebyshev's upper bound on prim commit | commitdiff | tree | snapshot
2008-01-11 Enrico Tassiremoved path for contribs commit | commitdiff | tree | snapshot
2008-01-11 Enrico Tassiadded a warning when a file is not compiled cause its... commit | commitdiff | tree | snapshot
2008-01-11 Enrico TassiMake does not even try to build files that would be... commit | commitdiff | tree | snapshot
2008-01-11 Enrico TassiI'll talk again with ferruccio, for the moment this... commit | commitdiff | tree | snapshot
2008-01-11 Enrico Tassianother fix to make it more resistant commit | commitdiff | tree | snapshot
2008-01-11 Enrico Tassimany sed to use notation for rewriting commit | commitdiff | tree | snapshot
2008-01-11 Enrico Tassi.opt before .byte commit | commitdiff | tree | snapshot
2008-01-11 Enrico Tassiugly hack to make matitac not exit when called on a... commit | commitdiff | tree | snapshot
2008-01-11 Enrico Tassiadded a warning if the baseuri we want to clean is... commit | commitdiff | tree | snapshot
2008-01-11 Enrico Tassi-dot fixed, now the .dot file contains also edges commit | commitdiff | tree | snapshot
2008-01-11 Enrico Tassiincreased timout commit | commitdiff | tree | snapshot
2008-01-11 Enrico Tassiremoved useless assertion commit | commitdiff | tree | snapshot
2008-01-11 Enrico Tassiincreased a timeout, matitac (not .opt) should be able... commit | commitdiff | tree | snapshot
2008-01-11 Enrico Tassiadded Sys.catch_break true commit | commitdiff | tree | snapshot
2008-01-11 Enrico Tassicache for mtime of files is not polluted with None... commit | commitdiff | tree | snapshot
2008-01-11 Enrico TassiMake was caching too much, thus some targets were not... commit | commitdiff | tree | snapshot
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE commit | commitdiff | tree | snapshot
2008-01-03 Enrico Tassiimplementation of the make algorithm, still unfinished. commit | commitdiff | tree | snapshot
2007-12-29 Stefano Zacchiroli* use findlib to pass -I flags down to ocamldoc, instea... commit | commitdiff | tree | snapshot
2007-12-29 Stefano Zacchiroli* bump standards-version, no changes needed commit | commitdiff | tree | snapshot
2007-12-29 Stefano Zacchiroli* convert the package to a non-native Debian package commit | commitdiff | tree | snapshot
2007-12-28 Stefano Zacchiroli* debian/rules: instead of passing explicit -I flags... commit | commitdiff | tree | snapshot
2007-12-28 Stefano Zacchirolioverwrite old symlink upon dist commit | commitdiff | tree | snapshot
2007-12-28 Stefano Zacchiroliignore tons of generated stuff commit | commitdiff | tree | snapshot
2007-12-28 Stefano Zacchiroli* convert package to a non-native one (closes: #457353) commit | commitdiff | tree | snapshot
2007-12-28 Stefano Zacchiroli* promote Vcs-* fields to real debian/control fields commit | commitdiff | tree | snapshot
2007-12-21 Wilmer Ricciottibeginning proof of chebyshev's bound on prim. commit | commitdiff | tree | snapshot
2007-12-19 Enrico Tassiaccepts the poly shape for gviz maps commit | commitdiff | tree | snapshot
2007-12-17 Wilmer Ricciottiupper bound for logarithmic summation commit | commitdiff | tree | snapshot
2007-12-17 Andrea AspertiA few more lemmas. commit | commitdiff | tree | snapshot
2007-12-16 Claudio Sacerdoti... Much more verbose statistics. commit | commitdiff | tree | snapshot
2007-12-16 Claudio Sacerdoti... Bug fixed: \n prevented recognition. commit | commitdiff | tree | snapshot
2007-12-13 Andrea AspertiSome inequalities. commit | commitdiff | tree | snapshot
2007-12-12 Wilmer RicciottiProgress. commit | commitdiff | tree | snapshot
2007-12-12 Stefano Zacchiroliadd support for adding identifiers instead of only... commit | commitdiff | tree | snapshot
2007-12-11 Andrea AspertiPartial progress. commit | commitdiff | tree | snapshot
2007-12-10 Enrico Tassimore chosmetic commit | commitdiff | tree | snapshot
2007-12-10 Andrea AspertiMain result for e. commit | commitdiff | tree | snapshot
2007-12-10 Enrico Tassisandeich lemma makeup commit | commitdiff | tree | snapshot
2007-12-10 Andrea AspertiRestructuring. commit | commitdiff | tree | snapshot
2007-12-10 Andrea AspertiMain inequalities for e. commit | commitdiff | tree | snapshot
2007-12-09 Wilmer RicciottiAdded summation formula for the power of a binomial. commit | commitdiff | tree | snapshot
2007-12-08 Enrico Tassithe is_structure is a bad idea if you don't have canoni... commit | commitdiff | tree | snapshot
2007-12-07 Andrea AspertiBinomial coefficients and costant e. commit | commitdiff | tree | snapshot
2007-12-07 Andrea AspertiA few more theorems. commit | commitdiff | tree | snapshot
2007-12-06 Stefano Zacchirolidump spurious errors max commit | commitdiff | tree | snapshot
2007-12-06 Enrico Tassiexcede->excess commit | commitdiff | tree | snapshot
2007-12-06 Enrico Tassiexcedence -> excess commit | commitdiff | tree | snapshot
2007-12-06 Enrico Tassiweight -> value commit | commitdiff | tree | snapshot
2007-12-05 Stefano Zacchirolidump result table in \TeX format commit | commitdiff | tree | snapshot
2007-12-05 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2007-12-04 Claudio Sacerdoti... Repeated errors are not duplicated. commit | commitdiff | tree | snapshot
2007-12-04 Claudio Sacerdoti... Even if the error is not localized, it was not a good... commit | commitdiff | tree | snapshot
2007-12-04 Enrico Tassirefactoring of some lemmas, shorter proofs commit | commitdiff | tree | snapshot
2007-12-04 Claudio Sacerdoti... Some terms are not localized from the very beginning :-( commit | commitdiff | tree | snapshot
2007-12-04 Claudio Sacerdoti... Added debugging option to ask for all disambiguation... commit | commitdiff | tree | snapshot
2007-12-04 Claudio Sacerdoti... One more error localized. But the code is really ugly... commit | commitdiff | tree | snapshot
2007-12-04 Enrico Tassiadded do_heavy_checks documentation commit | commitdiff | tree | snapshot
2007-12-04 Enrico Tassido_heavy_checks not always true, take ths option from... commit | commitdiff | tree | snapshot
2007-12-04 Enrico Tassiadded do_heavy_checks default commit | commitdiff | tree | snapshot
2007-12-04 Enrico Tassiif parameter type is given, this assert is false commit | commitdiff | tree | snapshot
2007-12-04 Claudio Sacerdoti... Only errors from passes 4 and 6 are kept. commit | commitdiff | tree | snapshot
2007-12-04 Claudio Sacerdoti... Reindented. commit | commitdiff | tree | snapshot
2007-12-04 Enrico Tassisandwitch theorem done commit | commitdiff | tree | snapshot
2007-12-04 Enrico Tassiremoved all the axioms!!! commit | commitdiff | tree | snapshot
2007-12-04 Enrico Tassisligtly more general results, still to reorganize commit | commitdiff | tree | snapshot
2007-12-03 Enrico Tassiok commit | commitdiff | tree | snapshot
2007-12-03 Enrico Tassi1 lemma left!!!! commit | commitdiff | tree | snapshot
2007-12-03 Andrea AspertiSome progress. commit | commitdiff | tree | snapshot
2007-12-02 Claudio Sacerdoti... Forward compatibility with new lablgtk2. commit | commitdiff | tree | snapshot
2007-12-01 Enrico Tassicarabinieri almost done commit | commitdiff | tree | snapshot
2007-11-30 Enrico Tassicarabinieri almost done commit | commitdiff | tree | snapshot
2007-11-30 Enrico Tassicleanup of the eq_trans burdain commit | commitdiff | tree | snapshot
2007-11-30 Enrico Tassi3.11 !!! commit | commitdiff | tree | snapshot
2007-11-30 Enrico Tassiadded a way to generate all the utf8 symbols commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.