]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2005-10-10 Andrea AspertiEmpty directory.
2005-10-10 Stefano Zacchiroli- added stack frame tagging
2005-10-09 Claudio Sacerdoti... More informative exceptions raised.
2005-10-07 Stefano Zacchiroliadded -nodb support
2005-10-07 Stefano Zacchiroliadded support for MATITA_FLAGS and NODB make variables
2005-10-06 Stefano Zacchirolichanged functor interface, now based on proofs instead...
2005-10-06 Claudio Sacerdoti... NODB implemented
2005-10-06 Stefano Zacchiroliignore usual *tex crap
2005-10-06 Stefano Zacchiroliadded Makefile
2005-10-06 Stefano Zacchirolicompleted instantiatian of level 2 patterns from level 1
2005-10-06 Stefano Zacchirolibugfix: avoid diversion in "make opt"
2005-10-06 Stefano Zacchiroli- better naming
2005-10-06 Stefano Zacchirolifirst check in of continuationals implementation
2005-10-06 Stefano Zacchiroliin the end: ... proper handling of multiple bindings...
2005-10-06 Stefano Zacchirolibugfix: multiple bindings of the same key work again
2005-10-05 Stefano Zacchirolicompleted support for "-nodb", now also matitaclean...
2005-10-05 Stefano Zacchirolis/commands_of_domain_and_codomain_items_list/aliases_of...
2005-10-05 Stefano Zacchiroliadded metadata "commands"
2005-10-05 Stefano Zacchiroliuncommented find_cic_appl_pattern_uris
2005-10-05 Stefano Zacchiroliadded find
2005-10-05 Stefano Zacchiroliremoved debug saving of "foo.conf.xml"
2005-10-05 Stefano Zacchiroli- added support for "-nodb" flag (still missing support...
2005-10-05 Stefano Zacchiroliseparated "]]" to avoid clash with (temporary) continua...
2005-10-05 Stefano Zacchiroliadded MATITA_FLAGS support
2005-10-05 Stefano Zacchirolirebuilt
2005-10-05 Stefano Zacchiroliadded hmysql dependency
2005-10-05 Stefano Zacchiroli- "load_from" no longer clears the previous registry...
2005-10-05 Stefano Zacchirolirebut
2005-10-05 Stefano Zacchiroliadded hmysql
2005-10-05 Stefano Zacchirolimoved hmysql to a separate module
2005-10-05 Claudio Sacerdoti... ...
2005-10-05 Enrico Tassiaded hmysql/
2005-10-04 Stefano Zacchiroliadded filter_map
2005-10-03 Luca Padovaniincomplete snapshot ....
2005-10-03 Stefano Zacchirolirestated ...
2005-10-03 Andrea AspertiAdded congruence.ma.
2005-10-03 Enrico Tassithe filled object is inserted in the env after a succes...
2005-10-03 Andrea AspertiSeveral changes. Proof of Fermat's little theorem compl...
2005-10-03 Enrico Tassifixed clean_and_fill that now fills the object (used...
2005-10-03 Enrico Tassimoved to fast implementation and fixed a bug in the...
2005-10-02 Luca Padovani* well-formedness constraints
2005-10-02 Luca Padovani* added well-formedness rules for level 2 patterns
2005-10-01 Luca Padovani* added pattern matching of level 2 terms
2005-09-30 Stefano Zacchiroli- fixed some metasenv issues
2005-09-30 Stefano Zacchirolifixed some (more) typos
2005-09-30 Stefano Zacchirolifixed some typos
2005-09-30 Stefano Zacchirolicontinuationals semantics: first draft
2005-09-29 Stefano Zacchirolimoved a (commented) test in a handier position
2005-09-29 Luca Padovani* required for the blob icon
2005-09-29 Luca Padovani* added concrete syntax for level 2
2005-09-29 Alberto Griggionon-default equalities in equations_for_goal
2005-09-29 Alberto Griggioupgraded code to work with non-default equalities
2005-09-29 Luca Padovani* snapshot
2005-09-29 Claudio Sacerdoti... Further speed-up in the disambiguation algorithm.
2005-09-29 Claudio Sacerdoti... ...
2005-09-29 Luca Padovani* required for texing it
2005-09-29 Luca Padovani+ well-formedness of level 1 patterns
2005-09-28 Luca Padovani* first version of the specification
2005-09-28 Stefano Zacchirolibetter precedence handling, should remove useless parens
2005-09-28 Andrea AspertiNew entry: relevant_equations.
2005-09-28 Stefano Zacchirolispotted missing times notation
2005-09-27 Stefano Zacchirolifixed some english typos
2005-09-27 Stefano Zacchirolichanged precedence/associativeness handling: relative...
2005-09-27 Stefano Zacchiroliadded/exported pp_pos & pp_attribute
2005-09-27 Stefano Zacchiroliremoved .annot files (files containing type annotations...
2005-09-27 Andrea Aspertismall error in nth_prime.
2005-09-27 Andrea AspertiNew entry: fermat's little theorem (almost complete).
2005-09-27 Stefano Zacchirolimore fine grained debug printing
2005-09-27 Stefano Zacchirolichanged type of ids_to_uris table to (Cic.id, UriManage...
2005-09-27 Stefano ZacchiroliBetter handling of idref propagation, no more Href...
2005-09-27 Stefano Zacchirolimoved list_uniq to the extlib
2005-09-27 Stefano Zacchiroliadded support for multiple idrefs
2005-09-27 Stefano Zacchiroliadded list_uniq
2005-09-27 Stefano Zacchirolicompleted use of \mod and / notation
2005-09-26 Claudio Sacerdoti... ...
2005-09-26 Claudio Sacerdoti... coq.moo is now automatically generated. New targets:
2005-09-26 Enrico Tassifix WE HAVE NO UNIVERSE
2005-09-26 Stefano Zacchirolifixed typo
2005-09-26 Enrico Tassi./matitaclean all removes all
2005-09-26 Stefano Zacchirolistrip heading '\' on Mo s
2005-09-26 Stefano Zacchiroliremoved some dead code
2005-09-26 Stefano Zacchiroliif a node has an xref use it for cut and paste, no...
2005-09-26 Claudio Sacerdoti... coq.moo is now automatically generated
2005-09-26 Stefano Zacchirolifunction composition notation
2005-09-26 Claudio Sacerdoti... Coq's existential fixed.
2005-09-26 Stefano Zacchirolidiv and mod notation ('%' and '\mod')
2005-09-26 Stefano Zacchiroliadded override for \circ (notation for function composi...
2005-09-26 Claudio Sacerdoti... matitatop.opt should not be generated
2005-09-26 Claudio Sacerdoti... Unification enhanchement.
2005-09-26 Claudio Sacerdoti... Unification enhanchement:
2005-09-26 Claudio Sacerdoti... Inclusion path fixed.
2005-09-26 Alberto Griggionew signature of auto_tac, with a new optional argument...
2005-09-26 Alberto Griggionew paramodulation
2005-09-26 Alberto Griggio*** empty log message ***
2005-09-26 Alberto Griggionew signature of auto_tac, with a new optional argument...
2005-09-26 Alberto Griggioadded apply_tac_verbose_with_subst, returning a Cic...
2005-09-26 Stefano Zacchiroliadded binary version of coq.moo and the corresponding...
2005-09-26 Stefano Zacchiroliremoved textual version of coq's moo file
2005-09-26 Enrico TassiMatitacleanLib.remove_baseuris will remove empty direct...
2005-09-26 Andrea Aspertipermutation.ma added to the repository.
next