]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/acic_content/cicNotationPt.ml
all pullbacks are attempted in sequence, removed many unfold
[helm.git] / helm / software / components / acic_content / cicNotationPt.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!
2007-10-26 Claudio Sacerdoti... Wildcard patterns implemented in case analysis. The...
2007-10-12 Claudio Sacerdoti... Move to OCaml 3.10. Requires debian packages from unsta...
2006-12-12 Ferruccio Guidiwe parametrized CicNotationPt.obj on 'term
2006-10-13 Claudio Sacerdoti... New content level representations for LetRec, Inductive...
2006-09-04 Enrico TassiBIG FAT COMMIT REGARDING COERCIONS:
2006-05-25 Claudio Sacerdoti... Axioms are not allowed with the syntax: "axiom name...
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/