]> matita.cs.unibo.it Git - helm.git/commit
snapshot
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 5 Jul 2005 12:23:03 +0000 (12:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 5 Jul 2005 12:23:03 +0000 (12:23 +0000)
commit256ea270b884864d0eddd1de66bae2a2cbc513ff
treeeb23f247f910b9b82c5070f51f492aaf67ec1c3a
parentef51893c7f8a5f1319e122322782b734b48c205a
snapshot
- preliminary support for MathML markup generation
12 files changed:
helm/ocaml/cic_notation/.depend
helm/ocaml/cic_notation/Makefile
helm/ocaml/cic_notation/TODO
helm/ocaml/cic_notation/cicNotationParser.expanded.ml
helm/ocaml/cic_notation/cicNotationParser.ml
helm/ocaml/cic_notation/cicNotationPp.ml
helm/ocaml/cic_notation/cicNotationPres.ml [new file with mode: 0644]
helm/ocaml/cic_notation/cicNotationPres.mli [new file with mode: 0644]
helm/ocaml/cic_notation/cicNotationPt.ml
helm/ocaml/cic_notation/cicNotationUtil.ml
helm/ocaml/cic_notation/test_parser.conf.xml
helm/ocaml/cic_notation/test_parser.ml