]> matita.cs.unibo.it Git - helm.git/commit
Attempt to make our markup respect the docbook specification(!), major changes
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 7 Jun 2006 14:50:33 +0000 (14:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 7 Jun 2006 14:50:33 +0000 (14:50 +0000)
commit871ed1c297e8c929a8c4460162e8521c9656bbc0
treeb3e1654cafa1bff8076ab848b4a143438f2c6bce
parentcc9a92d063e720b80cd91ce39d51bc1a1196460b
Attempt to make our markup respect the docbook specification(!), major changes
required:
1) added <para> wrappers where missing
2) added titles to tables
3) removed empty <thead> elements
Point (3) make yelp now shows rules in tables used for syntax references. IMO
this not a good reason to have empty <thead> elements, since they violates the
docbook DTDs. Either yelp should be fixed to not ignore frame/rowsep/colsep
attributes (as it currently does) or we need to find a different markup for
displaying EBNF like grammars.
helm/software/matita/help/C/sec_commands.xml
helm/software/matita/help/C/sec_gettingstarted.xml
helm/software/matita/help/C/sec_intro.xml
helm/software/matita/help/C/sec_tacticals.xml
helm/software/matita/help/C/sec_terms.xml
helm/software/matita/help/C/sec_usernotation.xml