]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fixed auto when the context has some deleted hypothesis
[helm.git] / helm / ocaml /
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
2005-07-01 Claudio Sacerdoti... Signature of fwdSimpl changed to get rid of a warning. tree | commitdiff
2005-07-01 Enrico Tassiuri_of_string now checks the uri is well formed tree | commitdiff
2005-07-01 Claudio Sacerdoti... 1. change_tac moved from PrimitiveTactics to ReductionT... tree | commitdiff
2005-07-01 Claudio Sacerdoti... Syntax of patterns changed again to make it non-ambiguous: tree | commitdiff
2005-06-30 Alberto Griggioproofs are now built lazily at the end of the computation tree | commitdiff
2005-06-30 Claudio Sacerdoti... The pattern of a fold cannot have the "wanted" part... tree | commitdiff
2005-06-30 Claudio Sacerdoti... Signature and concrete syntax of fold fixed. tree | commitdiff
2005-06-30 Ferruccio Guidilapply and fwd improved tree | commitdiff
2005-06-30 Claudio Sacerdoti... The rewrite_* set of tactics is now working again.... tree | commitdiff
2005-06-30 Claudio Sacerdoti... Bug fixed: a wrong lift made select unuseful when wante... tree | commitdiff
2005-06-30 Claudio Sacerdoti... Pretty printing of Cic.Implict (Some `Hole) is now "%" tree | commitdiff
2005-06-30 Claudio Sacerdoti... 1. rewrite_* and rewrite_back_* merged into one function tree | commitdiff
2005-06-30 Claudio Sacerdoti... Oooops. I forgot the convertibility test that makes... tree | commitdiff
2005-06-30 Claudio Sacerdoti... The tactic change is now working again. Moreover, it... tree | commitdiff
2005-06-30 Claudio Sacerdoti... A bit of renaming in the code to make it more clear. tree | commitdiff
2005-06-30 Enrico Tassiburi_of_uri is now #xpointer aware. tree | commitdiff
2005-06-30 Claudio Sacerdoti... Obsolete comment removed. tree | commitdiff
2005-06-30 Claudio Sacerdoti... Stupid bug fixed (a completely erroneous assert false... tree | commitdiff
2005-06-30 Claudio Sacerdoti... This commit makes ProofEngineHelpers.select reach its... tree | commitdiff
2005-06-29 Claudio Sacerdoti... 1. new syntax for patterns: tree | commitdiff
2005-06-29 Enrico Tassiremoved profiling function (now a stub is used instead) tree | commitdiff
2005-06-29 Claudio Sacerdoti... Incredible bug of simpl fixed: the stack (in the termin... tree | commitdiff
2005-06-29 Alberto Griggiovarious updates, removed proofs for now because they... tree | commitdiff
2005-06-29 Ferruccio Guidilapply reimplemented using letin_tac tree | commitdiff
2005-06-29 Claudio Sacerdoti... does_not_occur unexported since it did not have the... tree | commitdiff
2005-06-29 Claudio Sacerdoti... Stupid bug fixed in the refinement of let ... in tree | commitdiff
2005-06-28 Ferruccio Guidilapply improved tree | commitdiff
2005-06-28 Ferruccio Guidilapply improved tree | commitdiff
2005-06-28 Enrico Tassiadded Drop tree | commitdiff
2005-06-28 Enrico Tassimisc -> domMisc tree | commitdiff
2005-06-28 Claudio Sacerdoti... New argument for LApply: the ident for the generated... tree | commitdiff
2005-06-28 Stefano Zacchirolichanged get_pair interface, now supports different... tree | commitdiff
2005-06-28 Stefano Zacchiroliadded get_pair method tree | commitdiff
2005-06-28 Stefano Zacchirolimoved discovery of METAS dir to configure.ac: script... tree | commitdiff
2005-06-27 Claudio Sacerdoti... 1. interface of replace generalized to patterns tree | commitdiff
2005-06-27 Claudio Sacerdoti... A few other tactics made available to matita. tree | commitdiff
2005-06-27 Claudio Sacerdoti... New argument (the identifier) to generalize. tree | commitdiff
2005-06-27 Claudio Sacerdoti... New argument (the hypothesis name) for cut. tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.