]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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
2007-11-15 Enrico Tassicleanup
2007-11-15 Enrico Tassideclared eq_sym as a coercion and added 2 lemmas for...
2007-11-15 Enrico Tassi...
2007-11-15 Enrico Tassiautobatch => [auto]
2007-11-15 Enrico Tassi...
2007-11-15 Enrico Tassi...
2007-11-15 Enrico Tassiremoved prerr_endline
2007-11-15 Enrico Tassiremoved ugly prerr_endline
2007-11-15 Enrico Tassiadded --version to allow help2man
2007-11-15 Enrico Tassiadded manpages
2007-11-15 Enrico Tassi...
2007-11-15 Enrico Tassimatita-icon
2007-11-15 Enrico Tassi...
2007-11-15 Enrico Tassi...
2007-11-15 Enrico Tassi...
2007-11-15 Enrico Tassiwrong dependency removed
2007-11-15 Enrico Tassichangelog to -rc-1
2007-11-15 Enrico Tassi...
2007-11-15 Enrico Tassirc-1
2007-11-15 Enrico Tassiadded ~delta parameter to saturate_term and used it...
2007-11-14 Claudio Sacerdoti... Bug fixed: yet another case where tys of mutual recursi...
2007-11-14 Enrico Tassixxx
2007-11-14 Ferruccio Guidinow destruct takes an optional list of term rather...
2007-11-14 Enrico Tassifixed notation
2007-11-14 Enrico Tassiogroups almost finished
2007-11-14 Enrico Tassisnapshot
2007-11-14 Enrico Tassisnapshot
2007-11-13 Enrico TassiEnd of groups :-)
2007-11-13 Enrico Tassisnapshot
2007-11-13 Ferruccio Guidi- ProofEngineHelpers: namer_of moved to GrafiteEngine
2007-11-13 Ferruccio Guidipreviously hidden simplifications (in old destruct...
2007-11-12 Enrico Tassisome work till the need of redoing all groups based...
2007-11-12 Enrico Tassisince there is no more tab, the modification of the...
2007-11-12 Ferruccio Guidi- destruct tactic: automatic simplification in case...
2007-11-12 Enrico Tassiremoved ugly printing
2007-11-12 Enrico Tassiordered_sets are built with excedence
2007-11-12 Enrico Tassiadded ordered sets
2007-11-12 Enrico Tassirenamed ordered sets into excedence.ma
2007-11-12 Enrico Tassirelocated
2007-11-12 Enrico Tassiremoved dust
2007-11-12 Enrico TassiHIDDEN (since glade do not read out file properly anymo...
2007-11-12 Enrico Tassinew file with some relations stated in Type
2007-11-12 Enrico Tassiordered set is over, much new stuff coming from a coref...
2007-11-12 Ferruccio Guidirefactoring
2007-11-10 Ferruccio Guidiold subst tactics removed. New destruct tactic used...
2007-11-10 Claudio Sacerdoti... a) Detection of existential types now implemented
2007-11-10 Claudio Sacerdoti... More correct (but still bugged) implementation of type...
2007-11-10 Claudio Sacerdoti... Dead code removed.
2007-11-09 Enrico Tassisnapshot
2007-11-09 Enrico Tassi...
2007-11-08 Ferruccio Guidi- subst tactic keyword removed from highlight syntax...
2007-11-08 Claudio Sacerdoti... Trivial bug fixed in type inference of LetIn source...
2007-11-08 Enrico Tassixxx
2007-11-08 Enrico Tassiported to the new destruct
2007-11-08 Claudio Sacerdoti... Arguments of constructors in a case pattern are now...
2007-11-08 Claudio Sacerdoti... svn:ignore set
next