]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_transformations/tacticAst.ml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / ocaml / cic_transformations / tacticAst.ml
2005-07-25 Stefano Zacchiroliimplemented transformations on top of notation code commit | commitdiff
2005-07-22 Alberto Griggioadded optional "paramodulation" parameter to auto to... commit | commitdiff
2005-07-19 Ferruccio Guidithe decompose tactic is now working commit | commitdiff
2005-07-08 Enrico Tassiadded Variant theorem flavour commit | commitdiff
2005-07-06 Claudio Sacerdoti... 1. tactical "try_tacticals" renamed to "first" commit | commitdiff
2005-07-05 Ferruccio Guidiname specifications added for elim_intros, elim_intros_... commit | commitdiff
2005-07-04 Claudio Sacerdoti... New command default "foo" uri1 ... urin commit | commitdiff
2005-07-04 Claudio Sacerdoti... "include" command implemented. commit | commitdiff
2005-06-30 Claudio Sacerdoti... Signature and concrete syntax of fold fixed. commit | commitdiff
2005-06-30 Ferruccio Guidilapply and fwd improved commit | commitdiff
2005-06-30 Claudio Sacerdoti... 1. rewrite_* and rewrite_back_* merged into one function commit | commitdiff
2005-06-29 Claudio Sacerdoti... 1. new syntax for patterns: commit | commitdiff
2005-06-28 Enrico Tassimisc -> domMisc commit | commitdiff
2005-06-28 Claudio Sacerdoti... New argument for LApply: the ident for the generated... commit | commitdiff
2005-06-27 Claudio Sacerdoti... A few other tactics made available to matita. commit | commitdiff
2005-06-27 Claudio Sacerdoti... New argument (the identifier) to generalize. commit | commitdiff
2005-06-27 Claudio Sacerdoti... New argument (the hypothesis name) for cut. commit | commitdiff
2005-06-27 Claudio Sacerdoti... More tactics or tactic arguments made available to... commit | commitdiff
2005-06-27 Claudio Sacerdoti... More tactics are now available to matita. commit | commitdiff
2005-06-25 Ferruccio Guidifirs wrking (?) version of lapply commit | commitdiff
2005-06-24 Claudio Sacerdoti... Asts generalized: a lot of tactics where restricted... commit | commitdiff
2005-06-23 Claudio Sacerdoti... The discriminate tactic accepts a term, not only an... commit | commitdiff
2005-06-23 Claudio Sacerdoti... Tactic generalize ported to patterns and activated... commit | commitdiff
2005-06-17 Enrico Tassiadded support for patterns current goal commit | commitdiff
2005-06-15 Ferruccio Guidibeginning of the tactics lapply and fwd commit | commitdiff
2005-06-15 Claudio Sacerdoti... Big commit and major code clean-up: commit | commitdiff
2005-06-10 Enrico Tassiadded records pp, ast and fixed a bug in match with... commit | commitdiff
2005-06-01 Enrico Tassipaths trough terms implemented with a nice hack :) commit | commitdiff
2005-05-27 Stefano Zacchirolicommented out no longer needed macros Redo, Undo, Abort commit | commitdiff
2005-05-17 Enrico Tassifixed Whelp stuff commit | commitdiff
2005-05-16 Enrico Tassisome hacks to make the sequent window pretty nice commit | commitdiff
2005-05-03 Enrico Tassifix for instance commit | commitdiff
2005-05-02 Enrico Tassiattached auto commit | commitdiff
2005-05-02 Enrico Tassiadded ast for Match commit | commitdiff
2005-04-28 Enrico Tassimoved "hint" from Command to Macro commit | commitdiff
2005-04-27 Stefano Zacchirolimerged changes from the svn fork by me and Enrico commit | commitdiff
2005-02-01 Enrico Tassiadded `Coer print_kind commit | commitdiff
2005-01-31 Enrico Tassiadded Basedir Ast commit | commitdiff
2005-01-25 Enrico Tassi- removed applyStylesheets commit | commitdiff
2005-01-21 Enrico Tassi- Changed ApplyTransformation API to return both the... commit | commitdiff
2005-01-11 Stefano Zacchiroliadded search commands commit | commitdiff
2004-12-09 Stefano Zacchiroliaddded inductive definition to AST commit | commitdiff
2004-11-15 Stefano Zacchirolichanged reduction tactics ast commit | commitdiff
2004-11-10 Stefano Zacchiroliadded Baseuri command commit | commitdiff
2004-11-03 Stefano Zacchiroliadded Auto and Hint tactic commit | commitdiff
2004-10-22 Stefano Zacchiroliadded Hint "tactic" commit | commitdiff
2004-10-13 Stefano Zacchiroliadded term argument to absurd commit | commitdiff
2004-10-04 Stefano Zacchiroliadded Undo/Redo commands commit | commitdiff
2004-04-30 Stefano Zacchiroliadded Abort and Check commands commit | commitdiff
2004-04-30 Stefano Zacchiroliembedded commands ast into tacticals ast commit | commitdiff
2004-02-26 Stefano Zacchiroliadded command and script ASTs with _debugging_only_... commit | commitdiff
2004-02-17 Stefano Zacchiroliadded tactics and tacticals (heavily bugged) commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.