]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_transformations
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
1. interface of replace generalized to patterns
[helm.git] / helm / ocaml / cic_transformations /
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
2005-06-27 Claudio Sacerdoti... More tactics or tactic arguments made available to... tree | commitdiff
2005-06-27 Claudio Sacerdoti... More tactics are now available to matita. tree | commitdiff
2005-06-27 Enrico Tassifixed LApply pretty printing tree | commitdiff
2005-06-25 Ferruccio Guidifirs wrking (?) version of lapply tree | commitdiff
2005-06-24 Claudio Sacerdoti... Asts generalized: a lot of tactics where restricted... tree | commitdiff
2005-06-23 Claudio Sacerdoti... The discriminate tactic accepts a term, not only an... tree | commitdiff
2005-06-23 Claudio Sacerdoti... Tactic generalize ported to patterns and activated... tree | commitdiff
2005-06-17 Enrico Tassiadded support for patterns current goal tree | commitdiff
2005-06-16 Claudio Sacerdoti... Dead code for packing/unpacking (usually just a big... tree | commitdiff
2005-06-15 Claudio Sacerdoti... DTD for attributes revised. tree | commitdiff
2005-06-15 Claudio Sacerdoti... The `Record class now records also the name of the... tree | commitdiff
2005-06-15 Ferruccio Guidibeginning of the tactics lapply and fwd tree | commitdiff
2005-06-15 Claudio Sacerdoti... Big commit and major code clean-up: tree | commitdiff
2005-06-11 Stefano Zacchiroliadded an 'a parameter to mpresentation type so that... tree | commitdiff
2005-06-10 Enrico Tassiadded records pp, ast and fixed a bug in match with... tree | commitdiff
2005-06-10 Claudio Sacerdoti... Got rid of a few warnings. tree | commitdiff
2005-06-07 Stefano Zacchiroliimplemented attributes pretty printing tree | commitdiff
2005-06-01 Enrico Tassipaths trough terms implemented with a nice hack :) tree | commitdiff
2005-05-31 Stefano ZacchiroliChanged type of ids_to_inner_sort table used in transfo... tree | commitdiff
2005-05-27 Stefano Zacchirolicommented out no longer needed macros Redo, Undo, Abort tree | commitdiff
2005-05-27 Enrico Tassiremoved debug prerr_endline tree | commitdiff
2005-05-18 Enrico Tassifixed some TODO in content2pres tree | commitdiff
2005-05-17 Enrico Tassifixed Whelp stuff tree | commitdiff
2005-05-16 Enrico Tassisome hacks to make the sequent window pretty nice tree | commitdiff
2005-05-06 Enrico Tassiadded syntax for rewrite (TODO no rewrite-in-Hyp syntax) tree | commitdiff
2005-05-03 Enrico Tassifix for instance tree | commitdiff
2005-05-02 Enrico Tassiattached auto tree | commitdiff
2005-05-02 Enrico Tassiadded ast for Match tree | commitdiff
2005-04-28 Enrico Tassimoved "hint" from Command to Macro tree | commitdiff
2005-04-27 Stefano Zacchirolimerged changes from the svn fork by me and Enrico tree | commitdiff
2005-03-09 Stefano Zacchiroliadded support for open terms in check tree | commitdiff
2005-02-10 Stefano Zacchirolifactorized tacticals separator and terminator tree | commitdiff
2005-02-08 Stefano Zacchiroliadded boxml namespace tree | commitdiff
2005-02-04 Stefano Zacchirolirebuilt tree | commitdiff
2005-02-02 Stefano Zacchiroli- implemented inductive type rendering tree | commitdiff
2005-02-01 Stefano Zacchiroliremoved useless parameter uri from mml_of_cic_object tree | commitdiff
2005-02-01 Stefano Zacchiroliadded mathml_ns tree | commitdiff
2005-02-01 Enrico Tassiadded `Coer print_kind tree | commitdiff
2005-02-01 Enrico Tassicosmetic fix to pp_location tree | commitdiff
2005-01-31 Enrico Tassiadded Basedir Ast tree | commitdiff
2005-01-25 Enrico Tassi- removed applyStylesheets tree | commitdiff
2005-01-21 Enrico Tassi- Changed ApplyTransformation API to return both the... tree | commitdiff
2005-01-21 Stefano Zacchiroliuniformed prototype of mml_of_cic_{object,sequent} tree | commitdiff
2005-01-21 Stefano Zacchiroliattributes support (not yet in the pretty printer) tree | commitdiff
2005-01-21 Stefano Zacchiroli- attributes support tree | commitdiff
2005-01-20 Stefano Zacchirolirendering fixes: tree | commitdiff
2005-01-20 Stefano Zacchiroli- helmns -> helm_ns tree | commitdiff
2005-01-20 Stefano Zacchiroliadded cast rendering (used in check window by gTopLevel... tree | commitdiff
2005-01-18 Stefano Zacchiroliadded pp_location (pretty printer of ast location) tree | commitdiff
2005-01-17 Enrico Tassinew cicEnvironment implementation tree | commitdiff
2005-01-11 Stefano Zacchiroliadded syntax for URIs tree | commitdiff
2005-01-11 Stefano Zacchiroliadded search commands tree | commitdiff
2005-01-11 Stefano Zacchiroli- added pack/unpack over AST of terms tree | commitdiff
2005-01-11 Stefano Zacchiroli- added pack/unpack over AST of terms tree | commitdiff
2004-12-09 Stefano Zacchiroliimplemented pretty printer for (mutual) (co)inductive... tree | commitdiff
2004-12-09 Stefano Zacchiroliaddded inductive definition to AST tree | commitdiff
2004-12-01 Enrico TassiAdded universes handling. The PRE_UNIVERSES tag may... tree | commitdiff
2004-11-15 Stefano Zacchirolichanged reduction tactics ast tree | commitdiff
2004-11-11 Stefano Zacchiroliadded dummy entry in CicAst: UserInput tree | commitdiff
2004-11-10 Stefano Zacchiroliadded Baseuri command tree | commitdiff
2004-11-03 Stefano Zacchiroliadded Auto and Hint tactic tree | commitdiff
2004-11-02 Luca Padovani* substitution are not rendered by default, an action... tree | commitdiff
2004-10-22 Stefano Zacchiroliadded Hint "tactic" tree | commitdiff
2004-10-15 Stefano Zacchiroliremoved some old debugging messages tree | commitdiff
2004-10-13 Stefano Zacchirolitransformations no longer use Content_expression, but... tree | commitdiff
2004-10-13 Stefano Zacchirolipretty printed Absurd's term tree | commitdiff
2004-10-13 Stefano Zacchiroliadded term argument to absurd tree | commitdiff
2004-10-04 Stefano Zacchiroliadded Undo/Redo commands tree | commitdiff
2004-10-04 Stefano Zacchiroli- fixed "Blue" vs "blue" typo tree | commitdiff
2004-10-04 Stefano Zacchiroli- handle Box.Space in textual pretty printing tree | commitdiff
2004-09-28 Luca Padovani* the transformations have been ported so to generate... tree | commitdiff
2004-08-05 Stefano Zacchiroliported location handling to camlp4 3.08 tree | commitdiff
2004-08-05 Stefano Zacchirolifixed some invalid backslash escapes tree | commitdiff
2004-05-04 Stefano Zacchiroliremoved traliling dot in command pretty printer, now... tree | commitdiff
2004-04-30 Stefano Zacchiroliadded Abort and Check commands tree | commitdiff
2004-04-30 Stefano Zacchiroliembedded commands ast into tacticals ast tree | commitdiff
2004-04-29 Stefano Zacchirolimoved here initialization code (previously in gTopLevel... tree | commitdiff
2004-04-28 Stefano Zacchiroliadded a TODO comment tree | commitdiff
2004-04-23 Enrico TassiUniverses introduction tree | commitdiff
2004-03-05 Claudio Sacerdoti... \Assign and \subst to match the parser. tree | commitdiff
2004-03-05 Claudio Sacerdoti... MutCase branches must be parsed and printed using ... tree | commitdiff
2004-03-05 Claudio Sacerdoti... Branch of MutCase must be parsed and printed using... tree | commitdiff
2004-03-05 Claudio Sacerdoti... Syntax of explicit named substitions syncronized with... tree | commitdiff
2004-03-02 Stefano Zacchirolidifferentieted empty substitution list from no substitu... tree | commitdiff
2004-02-26 Stefano Zacchiroliadded command and script ASTs with _debugging_only_... tree | commitdiff
2004-02-24 Claudio Sacerdoti... More uris ported to V8.0. tree | commitdiff
2004-02-24 Claudio Sacerdoti... More V8.0 uris. tree | commitdiff
2004-02-24 Claudio Sacerdoti... Partial porting to V8 URIs. tree | commitdiff
2004-02-23 Stefano Zacchiroliadded a space between term and "using" keyword tree | commitdiff
2004-02-23 Stefano Zacchirolicommented out a debugging message tree | commitdiff
2004-02-23 Stefano ZacchiroliRinv typo fix tree | commitdiff
2004-02-19 Andrea AspertiAdding tacticAst2Box (pretty printer for tactical,... tree | commitdiff
2004-02-18 Stefano Zacchirolifixed cosmetic typos during pretty printing tree | commitdiff
2004-02-18 Claudio Sacerdoti... Bug fixed: Helm_registry was used not enough lazily... tree | commitdiff
2004-02-17 Stefano Zacchiroliadded copyright info tree | commitdiff
2004-02-17 Stefano Zacchiroliremoved useless Mpresentation module tree | commitdiff
2004-02-17 Stefano Zacchirolimoved away tactics and tacticals tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.