]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_transformations
...
[helm.git] / helm / ocaml / cic_transformations /
2005-07-27 Stefano Zacchirolibetter boxes (with more line breaking hints) for object...
2005-07-25 Stefano Zacchiroliimplemented transformations on top of notation code
2005-07-22 Alberto Griggioadded optional "paramodulation" parameter to auto to...
2005-07-20 Claudio Sacerdoti... Empty Box.Text changed to Box.smallskip.
2005-07-19 Claudio Sacerdoti... Missing case (Cast) implemented.
2005-07-19 Ferruccio Guidithe decompose tactic is now working
2005-07-18 Stefano Zacchirolimerged cic_notation with disambiguation: good luck!
2005-07-09 Stefano Zacchiroliremoved dependency on gdome2-xslt
2005-07-08 Enrico Tassiadded Variant theorem flavour
2005-07-06 Claudio Sacerdoti... 1. tactical "try_tacticals" renamed to "first"
2005-07-06 Claudio Sacerdoti... * Bug fixed: "tac." was parsed as Seq [tac]
2005-07-06 Stefano Zacchiroliadded docu comment
2005-07-06 Stefano Zacchirolitypo fixed: s/msemantics/semantics/
2005-07-06 Stefano Zacchiroliremoved (wrong) output encoding iso-8859-1
2005-07-05 Ferruccio Guidiname specifications added for elim_intros, elim_intros_...
2005-07-04 Claudio Sacerdoti... New command default "foo" uri1 ... urin
2005-07-04 Claudio Sacerdoti... New function (only partially implemented) to pretty...
2005-07-04 Claudio Sacerdoti... "include" command implemented.
2005-07-01 Claudio Sacerdoti... Module TacticAst2Box unused!
2005-07-01 Claudio Sacerdoti... count_pattern implemented
2005-07-01 Claudio Sacerdoti... More cases implemented in tactic_count.
2005-06-30 Claudio Sacerdoti... Signature and concrete syntax of fold fixed.
2005-06-30 Ferruccio Guidilapply and fwd improved
2005-06-30 Claudio Sacerdoti... 1. rewrite_* and rewrite_back_* merged into one function
2005-06-29 Claudio Sacerdoti... 1. new syntax for patterns:
2005-06-28 Ferruccio Guidilapply improved
2005-06-28 Enrico Tassimisc -> domMisc
2005-06-28 Claudio Sacerdoti... New argument for LApply: the ident for the generated...
2005-06-27 Claudio Sacerdoti... A few other tactics made available to matita.
2005-06-27 Claudio Sacerdoti... New argument (the identifier) to generalize.
2005-06-27 Claudio Sacerdoti... New argument (the hypothesis name) for cut.
2005-06-27 Claudio Sacerdoti... More tactics or tactic arguments made available to...
2005-06-27 Claudio Sacerdoti... More tactics are now available to matita.
2005-06-27 Enrico Tassifixed LApply pretty printing
2005-06-25 Ferruccio Guidifirs wrking (?) version of lapply
2005-06-24 Claudio Sacerdoti... Asts generalized: a lot of tactics where restricted...
2005-06-23 Claudio Sacerdoti... The discriminate tactic accepts a term, not only an...
2005-06-23 Claudio Sacerdoti... Tactic generalize ported to patterns and activated...
2005-06-17 Enrico Tassiadded support for patterns current goal
2005-06-16 Claudio Sacerdoti... Dead code for packing/unpacking (usually just a big...
2005-06-15 Claudio Sacerdoti... DTD for attributes revised.
2005-06-15 Claudio Sacerdoti... The `Record class now records also the name of the...
2005-06-15 Ferruccio Guidibeginning of the tactics lapply and fwd
2005-06-15 Claudio Sacerdoti... Big commit and major code clean-up:
2005-06-11 Stefano Zacchiroliadded an 'a parameter to mpresentation type so that...
2005-06-10 Enrico Tassiadded records pp, ast and fixed a bug in match with...
2005-06-10 Claudio Sacerdoti... Got rid of a few warnings.
2005-06-07 Stefano Zacchiroliimplemented attributes pretty printing
2005-06-01 Enrico Tassipaths trough terms implemented with a nice hack :)
2005-05-31 Stefano ZacchiroliChanged type of ids_to_inner_sort table used in transfo...
2005-05-27 Stefano Zacchirolicommented out no longer needed macros Redo, Undo, Abort
2005-05-27 Enrico Tassiremoved debug prerr_endline
2005-05-18 Enrico Tassifixed some TODO in content2pres
2005-05-17 Enrico Tassifixed Whelp stuff
2005-05-16 Enrico Tassisome hacks to make the sequent window pretty nice
2005-05-06 Enrico Tassiadded syntax for rewrite (TODO no rewrite-in-Hyp syntax)
2005-05-03 Enrico Tassifix for instance
2005-05-02 Enrico Tassiattached auto
2005-05-02 Enrico Tassiadded ast for Match
2005-04-28 Enrico Tassimoved "hint" from Command to Macro
2005-04-27 Stefano Zacchirolimerged changes from the svn fork by me and Enrico
2005-03-09 Stefano Zacchiroliadded support for open terms in check
2005-02-10 Stefano Zacchirolifactorized tacticals separator and terminator
2005-02-08 Stefano Zacchiroliadded boxml namespace
2005-02-04 Stefano Zacchirolirebuilt
2005-02-02 Stefano Zacchiroli- implemented inductive type rendering
2005-02-01 Stefano Zacchiroliremoved useless parameter uri from mml_of_cic_object
2005-02-01 Stefano Zacchiroliadded mathml_ns
2005-02-01 Enrico Tassiadded `Coer print_kind
2005-02-01 Enrico Tassicosmetic fix to pp_location
2005-01-31 Enrico Tassiadded Basedir Ast
2005-01-25 Enrico Tassi- removed applyStylesheets
2005-01-21 Enrico Tassi- Changed ApplyTransformation API to return both the...
2005-01-21 Stefano Zacchiroliuniformed prototype of mml_of_cic_{object,sequent}
2005-01-21 Stefano Zacchiroliattributes support (not yet in the pretty printer)
2005-01-21 Stefano Zacchiroli- attributes support
2005-01-20 Stefano Zacchirolirendering fixes:
2005-01-20 Stefano Zacchiroli- helmns -> helm_ns
2005-01-20 Stefano Zacchiroliadded cast rendering (used in check window by gTopLevel...
2005-01-18 Stefano Zacchiroliadded pp_location (pretty printer of ast location)
2005-01-17 Enrico Tassinew cicEnvironment implementation
2005-01-11 Stefano Zacchiroliadded syntax for URIs
2005-01-11 Stefano Zacchiroliadded search commands
2005-01-11 Stefano Zacchiroli- added pack/unpack over AST of terms
2005-01-11 Stefano Zacchiroli- added pack/unpack over AST of terms
2004-12-09 Stefano Zacchiroliimplemented pretty printer for (mutual) (co)inductive...
2004-12-09 Stefano Zacchiroliaddded inductive definition to AST
2004-12-01 Enrico TassiAdded universes handling. The PRE_UNIVERSES tag may...
2004-11-15 Stefano Zacchirolichanged reduction tactics ast
2004-11-11 Stefano Zacchiroliadded dummy entry in CicAst: UserInput
2004-11-10 Stefano Zacchiroliadded Baseuri command
2004-11-03 Stefano Zacchiroliadded Auto and Hint tactic
2004-11-02 Luca Padovani* substitution are not rendered by default, an action...
2004-10-22 Stefano Zacchiroliadded Hint "tactic"
2004-10-15 Stefano Zacchiroliremoved some old debugging messages
2004-10-13 Stefano Zacchirolitransformations no longer use Content_expression, but...
2004-10-13 Stefano Zacchirolipretty printed Absurd's term
2004-10-13 Stefano Zacchiroliadded term argument to absurd
2004-10-04 Stefano Zacchiroliadded Undo/Redo commands
2004-10-04 Stefano Zacchiroli- fixed "Blue" vs "blue" typo
next