]> 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
fixed a pulback and proved 3.17
[helm.git] / helm / software / matita /
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
2007-12-07 Andrea AspertiBinomial coefficients and costant e. tree | commitdiff
2007-12-07 Andrea AspertiA few more theorems. tree | commitdiff
2007-12-06 Stefano Zacchirolidump spurious errors max tree | commitdiff
2007-12-06 Enrico Tassiexcede->excess tree | commitdiff
2007-12-06 Enrico Tassiexcedence -> excess tree | commitdiff
2007-12-06 Enrico Tassiweight -> value tree | commitdiff
2007-12-05 Stefano Zacchirolidump result table in \TeX format tree | commitdiff
2007-12-05 Claudio Sacerdoti... ... tree | commitdiff
2007-12-04 Claudio Sacerdoti... Repeated errors are not duplicated. tree | commitdiff
2007-12-04 Enrico Tassirefactoring of some lemmas, shorter proofs tree | commitdiff
2007-12-04 Claudio Sacerdoti... Added debugging option to ask for all disambiguation... tree | commitdiff
2007-12-04 Enrico Tassiadded do_heavy_checks documentation tree | commitdiff
2007-12-04 Enrico Tassido_heavy_checks not always true, take ths option from... tree | commitdiff
2007-12-04 Enrico Tassiadded do_heavy_checks default tree | commitdiff
2007-12-04 Claudio Sacerdoti... Only errors from passes 4 and 6 are kept. tree | commitdiff
2007-12-04 Enrico Tassisandwitch theorem done tree | commitdiff
2007-12-04 Enrico Tassiremoved all the axioms!!! tree | commitdiff
2007-12-04 Enrico Tassisligtly more general results, still to reorganize tree | commitdiff
2007-12-03 Enrico Tassiok tree | commitdiff
2007-12-03 Enrico Tassi1 lemma left!!!! tree | commitdiff
2007-12-03 Andrea AspertiSome progress. tree | commitdiff
2007-12-02 Claudio Sacerdoti... Forward compatibility with new lablgtk2. tree | commitdiff
2007-12-01 Enrico Tassicarabinieri almost done tree | commitdiff
2007-11-30 Enrico Tassicarabinieri almost done tree | commitdiff
2007-11-30 Enrico Tassicleanup of the eq_trans burdain tree | commitdiff
2007-11-30 Enrico Tassi3.11 !!! tree | commitdiff
2007-11-28 Claudio Sacerdoti... Dead code removed. tree | commitdiff
2007-11-28 Enrico Tassimore stuff tree | commitdiff
2007-11-28 Enrico Tassi... tree | commitdiff
2007-11-27 Claudio Sacerdoti... Output is now in UTF8 character counts. tree | commitdiff
2007-11-27 Claudio Sacerdoti... Options declared but not parsed. tree | commitdiff
2007-11-27 Claudio Sacerdoti... Ported to camlp5 < 5.00 tree | commitdiff
2007-11-27 Enrico Tassi... tree | commitdiff
2007-11-27 Stefano Zacchiroliremove debug fake data tree | commitdiff
2007-11-27 Stefano Zacchiroli(hackish) scripts for testing spurious disambiguation... tree | commitdiff
2007-11-27 Stefano Zacchiroliadd "-order" cmdline option to just print a possible... tree | commitdiff
2007-11-27 Stefano Zacchirolichange naming scheme for rottened script, so that they... tree | commitdiff
2007-11-27 Enrico Tassi... tree | commitdiff
2007-11-27 Enrico Tassimajor reorganization (read cleanup) tree | commitdiff
2007-11-27 Enrico Tassibir georganization, most of the structures done tree | commitdiff
2007-11-27 Stefano Zacchiroliavoid rottening of constructor names in pattern matchings tree | commitdiff
2007-11-27 Stefano Zacchiroli- use "O" as the rottening token tree | commitdiff
2007-11-27 Stefano Zacchirolimake target for cleaning rottened files tree | commitdiff
2007-11-26 Enrico Tassireorganization of many files according to the new basic... tree | commitdiff
2007-11-26 Stefano Zacchirolifirst draft of a script to mechanically introduce ... tree | commitdiff
2007-11-26 Claudio Sacerdoti... Axiom moved from ex_deriv to deriv where it belongs to. tree | commitdiff
2007-11-26 Claudio Sacerdoti... Notation improved. tree | commitdiff
2007-11-26 Claudio Sacerdoti... Some code clean-up. tree | commitdiff
2007-11-26 Claudio Sacerdoti... Disambiguation error compaction is now performed in... tree | commitdiff
2007-11-26 Enrico Tassifor csc tree | commitdiff
2007-11-26 Enrico Tassipretty tree | commitdiff
2007-11-26 Claudio Sacerdoti... Patch to automatically generate filename.error.md5... tree | commitdiff
2007-11-26 Andrea AspertiAlmost there. tree | commitdiff
2007-11-23 Enrico Tassisince the previous commit fixed some bugs when the... tree | commitdiff
2007-11-23 Enrico Tassifast and sound registry lists tree | commitdiff
2007-11-22 Enrico Tassilemma finisced tree | commitdiff
2007-11-22 Claudio Sacerdoti... Bug fixed in printing of passes in error messages. tree | commitdiff
2007-11-22 Enrico Tassilemma 3.57 half done!!!! tree | commitdiff
2007-11-22 Enrico Tassinotation in autogui tree | commitdiff
2007-11-22 Andrea AspertiBig progress tree | commitdiff
2007-11-22 Enrico Tassisnapshot tree | commitdiff
2007-11-21 Claudio Sacerdoti... Very incomplete example of simple calculus exercises... tree | commitdiff
2007-11-20 Enrico Tassi... tree | commitdiff
2007-11-20 Enrico Tassiopps, a changelog was already there tree | commitdiff
2007-11-19 Andrea AspertiTowards chebyshev. tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.