]> matita.cs.unibo.it Git - helm.git/commit
added XmlAttrs attribute for specification of xml attributes directly
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 13 Jul 2005 17:03:04 +0000 (17:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 13 Jul 2005 17:03:04 +0000 (17:03 +0000)
commit915c3e1993cad4dcadefe7e6886e6cb8feefae8b
treead65cca8fc88aee30d8c8263f4f05630632c0387
parent904ecbd458b20b47d250889459f9aa9ebd26d04d
added XmlAttrs attribute for specification of xml attributes directly
from cicNotationRew.ml
helm/ocaml/cic_notation/cicNotationLexer.ml
helm/ocaml/cic_notation/cicNotationParser.expanded.ml
helm/ocaml/cic_notation/cicNotationPres.ml
helm/ocaml/cic_notation/cicNotationPt.ml
helm/ocaml/cic_notation/cicNotationRew.ml
helm/ocaml/cic_notation/doc/samples.ma