]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/acic_content/cicNotationPp.ml
handles bad Appl
[helm.git] / helm / software / components / acic_content / cicNotationPp.ml
2008-12-11 Enrico Tassisupport for mathml mpadded tag added (allows to overlap...
2008-12-05 Claudio Sacerdoti... Added new syntax Type[n] where n is a number.
2008-08-23 Enrico Tassinotation with mstyle attributes, like colors and size
2008-07-11 Claudio Sacerdoti... Added new ternary layout \infrule premises conclusion...
2008-06-23 Enrico Tassinotation support fixed to parentesize in a more sane...
2008-06-19 Enrico Tassinotation on steroids: 'term 40 x' is a valid variable...
2008-06-18 Enrico Tassiinitial support for notation that specifies the precede...
2008-05-30 Enrico TassiCProp hierarchy is there!
2008-03-23 Ferruccio GuidicicNotationPp: fixed letin syntax (now typeless)
2008-03-11 Claudio Sacerdoti... Very experimental commit: the type of the source is...
2007-10-26 Claudio Sacerdoti... Wildcard patterns implemented in case analysis. The...
2007-01-31 Claudio Sacerdoti... Several bugs fixed:
2006-12-12 Ferruccio Guidiwe parametrized CicNotationPt.obj on 'term
2006-10-13 Claudio Sacerdoti... New content level representations for LetRec, Inductive...
2006-09-29 Enrico Tassihack to make the Pp work (sometimes)
2006-09-04 Enrico TassiBIG FAT COMMIT REGARDING COERCIONS:
2006-09-04 Ferruccio Guidithe in clause of the match costruction was wrongly...
2006-08-28 Ferruccio Guidi- Level-1: some fixes to the extraction procedure
2006-08-27 Ferruccio Guidi- Level-1: added two problems
2006-08-26 Ferruccio Guidi- removed () around sorts
2006-08-26 Ferruccio Guidi- Unified : some definitions of unified \lambda...
2006-08-25 Ferruccio Guiditrying to make output notation parsable
2006-06-01 Stefano Zacchirolimade pp_term parametric and explained the proper way...
2006-05-25 Claudio Sacerdoti... Axioms are not allowed with the syntax: "axiom name...
2006-05-16 Enrico Tassiutf8_macros moved to syntax_extensions.
2006-05-13 Enrico Tassifixed some pp stuff
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/