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