]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_transformations
snapshort
[helm.git] / helm / ocaml / cic_transformations /
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
2004-10-04 Stefano Zacchiroli- handle Box.Space in textual pretty printing
2004-09-28 Luca Padovani* the transformations have been ported so to generate...
2004-08-05 Stefano Zacchiroliported location handling to camlp4 3.08
2004-08-05 Stefano Zacchirolifixed some invalid backslash escapes
2004-05-04 Stefano Zacchiroliremoved traliling dot in command pretty printer, now...
2004-04-30 Stefano Zacchiroliadded Abort and Check commands
2004-04-30 Stefano Zacchiroliembedded commands ast into tacticals ast
2004-04-29 Stefano Zacchirolimoved here initialization code (previously in gTopLevel...
2004-04-28 Stefano Zacchiroliadded a TODO comment
2004-04-23 Enrico TassiUniverses introduction
2004-03-05 Claudio Sacerdoti... \Assign and \subst to match the parser.
2004-03-05 Claudio Sacerdoti... MutCase branches must be parsed and printed using ...
2004-03-05 Claudio Sacerdoti... Branch of MutCase must be parsed and printed using...
2004-03-05 Claudio Sacerdoti... Syntax of explicit named substitions syncronized with...
2004-03-02 Stefano Zacchirolidifferentieted empty substitution list from no substitu...
2004-02-26 Stefano Zacchiroliadded command and script ASTs with _debugging_only_...
2004-02-24 Claudio Sacerdoti... More uris ported to V8.0.
2004-02-24 Claudio Sacerdoti... More V8.0 uris.
2004-02-24 Claudio Sacerdoti... Partial porting to V8 URIs.
2004-02-23 Stefano Zacchiroliadded a space between term and "using" keyword
2004-02-23 Stefano Zacchirolicommented out a debugging message
2004-02-23 Stefano ZacchiroliRinv typo fix
2004-02-19 Andrea AspertiAdding tacticAst2Box (pretty printer for tactical,...
2004-02-18 Stefano Zacchirolifixed cosmetic typos during pretty printing
2004-02-18 Claudio Sacerdoti... Bug fixed: Helm_registry was used not enough lazily...
2004-02-17 Stefano Zacchiroliadded copyright info
2004-02-17 Stefano Zacchiroliremoved useless Mpresentation module
2004-02-17 Stefano Zacchirolimoved away tactics and tacticals
2004-02-17 Stefano Zacchiroliadded tactics and tacticals (heavily bugged)
2004-02-17 Claudio Sacerdoti... Porting of applyStylesheets.ml to Helm_registry.
2004-02-16 Stefano Zacchiroli- added arrow notation
2004-02-13 Stefano Zacchiroliinductive type ident optional in mutcase
2004-02-13 Andrea Aspertinew (box based) pretty printer
2004-02-11 Stefano Zacchiroliported to helm registry
2004-02-05 Stefano Zacchiroliadded \to notation for anonymous binders Pi and Lambda
2004-02-04 Stefano Zacchirolimoved here CicAst and pretty printer
2004-01-26 Andrea AspertiNotation for Case revisited and completed.
2004-01-22 Andrea AspertiAdded all transformations for sequents.
2003-12-02 Ferruccio Guidisort CProp added
2003-10-07 Luca Padovani* removed currified constructors everywhere. A bug...
2003-09-23 Claudio Sacerdoti... BU_Conversion + omit-conclusion is a mess. I have parti...
2003-09-13 Stefano Zacchiroliadded notation for reals 0, 1, n
2003-09-05 Stefano Zacchiroliadded notation for Ropp and Rinv
2003-09-05 Claudio Sacerdoti... Notation for Rdiv and Rminus.
2003-09-05 Claudio Sacerdoti... Debugging infos removed.
next