]> 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)
commite8cabf1729a9abd24ee1e92a48401a28c36dc193
tree0f94198a7aff7dc35f8a5481f63ea5eb9f448553
parent560dcf554215ac3b272555f68bf7536b49d72383
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.
matita/help/C/sec_commands.xml
matita/help/C/sec_gettingstarted.xml
matita/help/C/sec_intro.xml
matita/help/C/sec_tacticals.xml
matita/help/C/sec_terms.xml
matita/help/C/sec_usernotation.xml