]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/acic_content/cicNotationUtil.ml
New modules stack:
[helm.git] / helm / software / components / acic_content / cicNotationUtil.ml
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-18 Enrico Tassiinitial support for notation that specifies the precede...
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...
2006-10-13 Claudio Sacerdoti... New content level representations for LetRec, Inductive...
2006-09-04 Enrico TassiBIG FAT COMMIT REGARDING COERCIONS:
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/