matita.cs.unibo.it Git - helm.git/history - helm/software/components/content_pres/cicNotationPres.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/content_pres/cicNotationPres.ml

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / software / components / content_pres / cicNotationPres.ml

2010-03-31	Andrea Asperti	Tracing mechanism for auto. Interface changed to solve...	blob \| commitdiff \| raw
2009-06-03	Claudio Sacerdoti...	Huge commit with several changes:	blob \| commitdiff \| raw \| diff to current
2009-01-26	Enrico Tassi	maction layout added to notation	blob \| commitdiff \| raw \| diff to current
2008-12-11	Enrico Tassi	support for mathml mpadded tag added (allows to overlap...	blob \| commitdiff \| raw \| diff to current
2008-11-27	Enrico Tassi	notation now digests Cic.Cast, not sure the precedence...	blob \| commitdiff \| raw \| diff to current
2008-08-23	Enrico Tassi	notation with mstyle attributes, like colors and size	blob \| commitdiff \| raw \| diff to current
2008-07-21	Claudio Sacerdoti...	Rendering of \infrule improved.	blob \| commitdiff \| raw \| diff to current
2008-07-11	Claudio Sacerdoti...	Added new ternary layout \infrule premises conclusion...	blob \| commitdiff \| raw \| diff to current
2008-06-23	Enrico Tassi	notation support fixed to parentesize in a more sane...	blob \| commitdiff \| raw \| diff to current
2008-06-22	Ferruccio Guidi	- grafiteParser.ml: the callback invocation was displaced	blob \| commitdiff \| raw \| diff to current
2008-06-19	Enrico Tassi	notation on steroids: 'term 40 x' is a valid variable...	blob \| commitdiff \| raw \| diff to current
2008-06-18	Enrico Tassi	initial support for notation that specifies the precede...	blob \| commitdiff \| raw \| diff to current
2006-10-25	Claudio Sacerdoti...	1. bug fixed: Unicode characters that are not mapped...	blob \| commitdiff \| raw \| diff to current
2006-09-29	Enrico Tassi	added metas local context maction: ?n[...]	blob \| commitdiff \| raw \| diff to current
2006-09-26	Claudio Sacerdoti...	The precedence level is now an optional argument of...	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.