]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_transformations/tacticAstPp.ml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / ocaml / cic_transformations / tacticAstPp.ml
2005-07-25 Stefano Zacchiroliimplemented transformations on top of notation code 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-06 Claudio Sacerdoti... * Bug fixed: "tac." was parsed as Seq [tac] 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... New function (only partially implemented) to pretty... 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 Ferruccio Guidilapply improved 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 are now available to matita. commit | commitdiff
2005-06-27 Enrico Tassifixed LApply pretty printing 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-10 Claudio Sacerdoti... Got rid of a few warnings. 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-27 Enrico Tassiremoved debug prerr_endline 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-06 Enrico Tassiadded syntax for rewrite (TODO no rewrite-in-Hyp syntax) 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-10 Stefano Zacchirolifactorized tacticals separator and terminator commit | commitdiff
2005-01-11 Stefano Zacchiroliadded search commands commit | commitdiff
2004-12-09 Stefano Zacchiroliimplemented pretty printer for (mutual) (co)inductive... 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 Zacchirolipretty printed Absurd's term commit | commitdiff
2004-10-04 Stefano Zacchiroliadded Undo/Redo commands commit | commitdiff
2004-05-04 Stefano Zacchiroliremoved traliling dot in command pretty printer, now... 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-23 Stefano Zacchiroliadded a space between term and "using" keyword commit | commitdiff
2004-02-18 Stefano Zacchirolifixed cosmetic typos during pretty printing commit | commitdiff
2004-02-17 Stefano Zacchiroliadded tactics and tacticals (heavily bugged) commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.