]> matita.cs.unibo.it Git - helm.git/commit
notation with mstyle attributes, like colors and size
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 23 Aug 2008 04:11:04 +0000 (04:11 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 23 Aug 2008 04:11:04 +0000 (04:11 +0000)
commit3e1e59644a24ed855a7f21bf9eab76f96577fd17
treea677465a9c31fa0b953ae8cf4da66d35beaef093
parent420f1adfdb1c29a85f03d0263e575bc1767c8029
notation with mstyle attributes, like colors and size
helm/software/components/acic_content/cicNotationPp.ml
helm/software/components/acic_content/cicNotationPt.ml
helm/software/components/acic_content/cicNotationUtil.ml
helm/software/components/content_pres/cicNotationLexer.ml
helm/software/components/content_pres/cicNotationParser.ml
helm/software/components/content_pres/cicNotationPres.ml