]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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 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 Zacchiroliignore sqlite db and rottener* executables
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 Zacchiroliignore *.o
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....
2007-11-23 Claudio Sacerdoti... This alternative version of disambiguate.crit2 implemen...
2007-11-23 Enrico Tassifast and sound registry lists
2007-11-23 Stefano Zacchiroli* NOT RELEASED YET
2007-11-23 Stefano Zacchiroli* bump deps on lablgtk2 to match lates upstream
2007-11-22 Enrico Tassilemma finisced
2007-11-22 Claudio Sacerdoti... Bug fixed in printing of passes in error messages.
2007-11-22 Enrico Tassilemma 3.57 half done!!!!
2007-11-22 Enrico Tassinotation in autogui
2007-11-22 Andrea AspertiBig progress
2007-11-22 Enrico Tassisnapshot
2007-11-21 Claudio Sacerdoti... Very incomplete example of simple calculus exercises...
2007-11-20 Enrico Tassi...
2007-11-20 Enrico Tassiopps, a changelog was already there
2007-11-19 Claudio Sacerdoti... Bug fixed: local type declarations are not allowed...
2007-11-19 Enrico Tassi...
2007-11-19 Andrea AspertiTowards chebyshev.
2007-11-18 Claudio Sacerdoti... The axiom can be proved. Just follow the hint.
2007-11-17 Enrico Tassifixed bugs found by csc
2007-11-17 Enrico Tassimoved to pkg-ocaml-maint
2007-11-16 Claudio Sacerdoti... Some notes for Enrico.
2007-11-16 Enrico Tassi...
2007-11-16 Enrico Tassihidded publish-devel button, too dangerous for the...
2007-11-16 Enrico Tassihidded all hbugs related stuff
2007-11-16 Enrico Tassifrom the tarball removed all contribs, they used to...
2007-11-16 Enrico Tassi...
2007-11-16 Enrico Tassi...
2007-11-16 Enrico Tassinocomposites
2007-11-16 Enrico Tassicompose tactic restore and added nocomposites keyword
2007-11-16 Enrico Tassimore cleanup
2007-11-16 Enrico Tassi...
2007-11-16 Enrico Tassiadded recommends graphvi
2007-11-16 Enrico Tassi...
2007-11-16 Enrico Tassixxx
2007-11-16 Enrico Tassiadded homepage field in control
2007-11-16 Enrico Tassifix
2007-11-16 Enrico Tassifix -noinnertypes set to true!
2007-11-16 Enrico Tassiremoved dummy MATITA_CFLAGS assignement
2007-11-16 Enrico Tassiadded default for matita.noiinertypes
2007-11-16 Enrico Tassimenu fised
2007-11-16 Enrico Tassipropagation of noinnertypes to matitac
2007-11-16 Enrico Tassiadded -noinnertypes
2007-11-16 Enrico Tassi...
2007-11-15 Enrico Tassicleanup
next