]> matita.cs.unibo.it Git - helm.git/history - helm/software
added a warning if the baseuri we want to clean is read-only
[helm.git] / helm / software /
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
2007-12-03 Enrico Tassiok
2007-12-03 Enrico Tassi1 lemma left!!!!
2007-12-03 Andrea AspertiSome progress.
2007-12-02 Claudio Sacerdoti... Forward compatibility with new lablgtk2.
2007-12-01 Enrico Tassicarabinieri almost done
2007-11-30 Enrico Tassicarabinieri almost done
2007-11-30 Enrico Tassicleanup of the eq_trans burdain
2007-11-30 Enrico Tassi3.11 !!!
2007-11-30 Enrico Tassiadded a way to generate all the utf8 symbols
2007-11-28 Claudio Sacerdoti... Dead code removed.
2007-11-28 Claudio Sacerdoti... Bug fixed: an unification exception used to escape...
2007-11-28 Enrico Tassimore stuff
2007-11-28 Enrico Tassi...
2007-11-27 Claudio Sacerdoti... Output is now in UTF8 character counts.
2007-11-27 Claudio Sacerdoti... Options declared but not parsed.
2007-11-27 Claudio Sacerdoti... Ported to camlp5 < 5.00
2007-11-27 Claudio Sacerdoti... Back-ported to camlp5 < 5.00.
2007-11-27 Enrico Tassi...
2007-11-27 Stefano Zacchiroliremove debug fake data
2007-11-27 Stefano Zacchiroli(hackish) scripts for testing spurious disambiguation...
2007-11-27 Stefano Zacchiroliadd "-order" cmdline option to just print a possible...
2007-11-27 Stefano Zacchirolichange naming scheme for rottened script, so that they...
2007-11-27 Enrico Tassi...
2007-11-27 Enrico Tassimajor reorganization (read cleanup)
2007-11-27 Enrico Tassibir georganization, most of the structures done
2007-11-27 Stefano Zacchiroliavoid rottening of constructor names in pattern matchings
2007-11-27 Stefano Zacchiroli- use "O" as the rottening token
2007-11-27 Stefano Zacchirolimake target for cleaning rottened files
2007-11-26 Enrico Tassireorganization of many files according to the new basic...
2007-11-26 Stefano Zacchirolifirst draft of a script to mechanically introduce ...
2007-11-26 Stefano Zacchiroliadd dump of position information in the lexed file
2007-11-26 Claudio Sacerdoti... Axiom moved from ex_deriv to deriv where it belongs to.
2007-11-26 Claudio Sacerdoti... Notation improved.
2007-11-26 Claudio Sacerdoti... Some code clean-up.
2007-11-26 Claudio Sacerdoti... Disambiguation error compaction is now performed in...
2007-11-26 Enrico Tassifor csc
2007-11-26 Enrico Tassipretty
2007-11-26 Claudio Sacerdoti... Patch to automatically generate filename.error.md5...
2007-11-26 Andrea AspertiAlmost there.
2007-11-25 Claudio Sacerdoti... This version of disambiguate.ml implements yet another...
2007-11-25 Claudio Sacerdoti... Bug fixed: an unification exception used to escape...
2007-11-23 Enrico Tassisince the previous commit fixed some bugs when the...
2007-11-23 Enrico Tassirestored the right context used to generate names....
next