]> matita.cs.unibo.it Git - helm.git/commit
maction layout added to notation
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 26 Jan 2009 17:11:10 +0000 (17:11 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 26 Jan 2009 17:11:10 +0000 (17:11 +0000)
commit046ba9f98a41651836720df1e9c2ebb6bd577ea9
treee03a62fb10a6ffac88d86e1dda08af09a0a2fd1f
parent164332b640d2c2e601350065b0074ba80426ea5c
maction layout added to notation
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/cicNotationParser.mli
helm/software/components/content_pres/cicNotationPres.ml
helm/software/components/lexicon/cicNotation.ml