]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- synced notation pretty printing with parsing syntax
[helm.git] / helm / ocaml /
2005-07-18 Stefano Zacchiroli- synced notation pretty printing with parsing syntax tree | commitdiff
2005-07-18 Claudio Sacerdoti... ANALYZE TABLE ==> OPTIMIZE TABLE tree | commitdiff
2005-07-18 Stefano Zacchiroli- removed old parser tree | commitdiff
2005-07-18 Stefano Zacchirolimerged cic_notation with disambiguation: good luck! tree | commitdiff
2005-07-18 Alberto Griggioadding library support (not ready yet) tree | commitdiff
2005-07-15 Andrea AspertiNew version of name checking. tree | commitdiff
2005-07-14 Stefano Zacchirolisnapshot, notably: tree | commitdiff
2005-07-14 Luca Padovani* added group box (?) tree | commitdiff
2005-07-14 Stefano Zacchirolibugfix: removed spurious section "helm_registry" from... tree | commitdiff
2005-07-13 Stefano Zacchiroliadded XmlAttrs attribute for specification of xml attri... tree | commitdiff
2005-07-13 Stefano Zacchirolibugfix: "LPAREN" vs LPAREN tree | commitdiff
2005-07-13 Stefano Zacchirolisnapshot tree | commitdiff
2005-07-12 Luca Padovanisnapshot tree | commitdiff
2005-07-12 Andrea AspertiAdded a function equations_for_goal similar to signatur... tree | commitdiff
2005-07-11 Alberto Griggionow proofs have the correct type :-) tree | commitdiff
2005-07-11 Luca Padovani* implemented unless tree | commitdiff
2005-07-11 Enrico Tassitentative hack for the incredible DB slowdown. tree | commitdiff
2005-07-11 Claudio Sacerdoti... Bug fixed: the left parameters of a record or inductive... tree | commitdiff
2005-07-11 Luca Padovani* added backtracking in matching code (hairy code!) tree | commitdiff
2005-07-11 Luca Padovani* various bug fix related to the environment returned... tree | commitdiff
2005-07-11 Claudio Sacerdoti... The outtype of the MutCase of the generated elimination... tree | commitdiff
2005-07-11 Claudio Sacerdoti... Bug fixed in check_sort_elimination in the case (not... tree | commitdiff
2005-07-11 Claudio Sacerdoti... Bug fixed: the generated elimination principles used... tree | commitdiff
2005-07-09 Stefano Zacchirolibuilt test_{lexer,parser} per default tree | commitdiff
2005-07-09 Stefano Zacchiroliremoved dependency on gdome2-xslt tree | commitdiff
2005-07-09 Claudio Sacerdoti... Some terms were processed in the wrong context. tree | commitdiff
2005-07-09 Claudio Sacerdoti... Generalize ported to the new select up to unification. tree | commitdiff
2005-07-08 Stefano Zacchirolisnapshot tree | commitdiff
2005-07-08 Enrico Tassiadded Variant theorem flavour tree | commitdiff
2005-07-08 Claudio Sacerdoti... Replace is now working again and it is able to match... tree | commitdiff
2005-07-08 Stefano Zacchirolisnapshot tree | commitdiff
2005-07-08 Claudio Sacerdoti... Elim generalized: the term to eliminate is now saturate... tree | commitdiff
2005-07-08 Claudio Sacerdoti... Cosmetic changes: a piece of code replaced with a pre... tree | commitdiff
2005-07-08 Claudio Sacerdoti... Bug fixed: metavariables generated by the saturation... tree | commitdiff
2005-07-08 Claudio Sacerdoti... The fix and cofix cases of the select were not finished... tree | commitdiff
2005-07-08 Claudio Sacerdoti... 1. PrimitiveTactics.new_metasenv_for_apply changed... tree | commitdiff
2005-07-08 Claudio Sacerdoti... An impossible case changed to an assert false. tree | commitdiff
2005-07-07 Enrico Tassiapply_tac now catches TypeChecerFailure and raises... tree | commitdiff
2005-07-07 Enrico Tassifixed auto when the context has some deleted hypothesis tree | commitdiff
2005-07-07 Claudio Sacerdoti... Bug fixed: uris can contain '-' (e.g. cic:/Sophia-Antip... tree | commitdiff
2005-07-07 Claudio Sacerdoti... Names bound in lambdas can now be used in the "canonica... tree | commitdiff
2005-07-07 Andrea AspertiCheck function for Matita name convention. tree | commitdiff
2005-07-07 Enrico Tassitab -> spaces tree | commitdiff
2005-07-07 Enrico Tassialim of now resets the counter tree | commitdiff
2005-07-07 Enrico Tassiremoved gdom2 dep tree | commitdiff
2005-07-06 Stefano Zacchiroli- bugfix: correctly handle real "index.theory" tree | commitdiff
2005-07-06 Claudio Sacerdoti... Bug fixed: "intros n" should fail when there are less... tree | commitdiff
2005-07-06 Stefano Zacchiroliadded index.theory handling tree | commitdiff
2005-07-06 Claudio Sacerdoti... Fixed a bug in the "do" tactical that made it diverge. tree | commitdiff
2005-07-06 Claudio Sacerdoti... mk_fresh_name now returns [name] instead of its basenam... tree | commitdiff
2005-07-06 Stefano Zacchiroliadded backtick function tree | commitdiff
2005-07-06 Stefano Zacchirolino longer uses Shell library tree | commitdiff
2005-07-06 Stefano Zacchiroli- updated META dependencies (no more dbm, no more shell) tree | commitdiff
2005-07-06 Stefano Zacchiroliuses mowgli's getter conffile as sample tree | commitdiff
2005-07-06 Stefano Zacchirolibugfix: leave ".theory" suffix in place for theory... tree | commitdiff
2005-07-06 Stefano Zacchirolihelp string in sync with available commands tree | commitdiff
2005-07-06 Stefano Zacchiroli- handle prefixes on the same line in conffile tree | commitdiff
2005-07-06 Claudio Sacerdoti... 1. tactical "try_tacticals" renamed to "first" tree | commitdiff
2005-07-06 Enrico Tassiclear now fails if the hypothesys doesnt exist, and... tree | commitdiff
2005-07-06 Stefano Zacchiroliadded support for multiple binding of the same prefix... tree | commitdiff
2005-07-06 Stefano Zacchirolido not .body/.types/.proof_tree files from ls output tree | commitdiff
2005-07-06 Stefano Zacchiroli- bugfix in cache handling for remote resources tree | commitdiff
2005-07-06 Enrico Tassinow it doesn't try to apply a cleared hypothesis tree | commitdiff
2005-07-06 Stefano Zacchirolibetter exception handling for HTTP errors tree | commitdiff
2005-07-06 Claudio Sacerdoti... * Bug fixed: "tac." was parsed as Seq [tac] tree | commitdiff
2005-07-06 Stefano Zacchiroliadded docu comment tree | commitdiff
2005-07-06 Stefano Zacchirolitypo fixed: s/msemantics/semantics/ tree | commitdiff
2005-07-06 Stefano Zacchiroliremoved (wrong) output encoding iso-8859-1 tree | commitdiff
2005-07-06 Claudio Sacerdoti... -rectypes missing for native code compilation tree | commitdiff
2005-07-06 Claudio Sacerdoti... Some precisations on a few comments by Ferruccio. tree | commitdiff
2005-07-05 Stefano Zacchirolisnapshot tree | commitdiff
2005-07-05 Ferruccio Guidiname specifications added for elim_intros, elim_intros_... tree | commitdiff
2005-07-05 Claudio Sacerdoti... Debugging back to false tree | commitdiff
2005-07-05 Claudio Sacerdoti... Bug fixed: the outtype of a match when omitted was... tree | commitdiff
2005-07-05 Stefano Zacchirolisnapshot tree | commitdiff
2005-07-05 Ferruccio Guidiid ;-) and lapply patched tree | commitdiff
2005-07-05 Stefano Zacchiroliported to new getter interface tree | commitdiff
2005-07-05 Stefano Zacchirolibumped license year tree | commitdiff
2005-07-05 Stefano Zacchirolinew getter implementation: no more DBM maps tree | commitdiff
2005-07-05 Stefano Zacchirolihandle Not_found exception in extension tree | commitdiff
2005-07-04 Claudio Sacerdoti... New command default "foo" uri1 ... urin tree | commitdiff
2005-07-04 Claudio Sacerdoti... All the tactics have been ported to use the objects... tree | commitdiff
2005-07-04 Claudio Sacerdoti... Comestic changes. tree | commitdiff
2005-07-04 Claudio Sacerdoti... Cosmetic changes. tree | commitdiff
2005-07-04 Claudio Sacerdoti... New function (only partially implemented) to pretty... tree | commitdiff
2005-07-04 Stefano Zacchiroliadded some utility functions on filename suffixes tree | commitdiff
2005-07-04 Claudio Sacerdoti... "include" command implemented. tree | commitdiff
2005-07-02 Claudio Sacerdoti... All the equalityTactics have now been ported to use... tree | commitdiff
2005-07-01 Alberto Griggiofixed bug in proof generation, new weight function... tree | commitdiff
2005-07-01 Enrico Tassion is now a keyword (needed in let rec) tree | commitdiff
2005-07-01 Enrico Tassiadded uri_is_ind tree | commitdiff
2005-07-01 Alberto Griggioremoved first Cic.term from type equality, added an... tree | commitdiff
2005-07-01 Claudio Sacerdoti... TacticAst2Box no longer used. tree | commitdiff
2005-07-01 Claudio Sacerdoti... Module TacticAst2Box unused! tree | commitdiff
2005-07-01 Claudio Sacerdoti... count_pattern implemented tree | commitdiff
2005-07-01 Claudio Sacerdoti... More cases implemented in tactic_count. tree | commitdiff
2005-07-01 Claudio Sacerdoti... replace tactic reimplemented. tree | commitdiff
2005-07-01 Claudio Sacerdoti... pattern_of function reimplemented. Now it takes a term... tree | commitdiff
2005-07-01 Claudio Sacerdoti... prerr_endline -> debug_print tree | commitdiff
2005-07-01 Claudio Sacerdoti... The replace tactic is now working again. It can now... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.