equal
deleted
inserted
replaced
251 point.table = element table { point.table.content } |
251 point.table = element table { point.table.content } |
252 |
252 |
253 blanks.table.content = |
253 blanks.table.content = |
254 block.head?, |
254 block.head?, |
255 blanks.tgroup+, |
255 blanks.tgroup+, |
256 caption? |
256 table.caption? |
257 point.table.content = |
257 point.table.content = |
258 block.head?, |
258 block.head?, |
259 point.tgroup+, |
259 point.tgroup+, |
260 caption? |
260 table.caption? |
261 |
261 |
262 # ~~~~~~ tgroup |
262 # ~~~~~~ tgroup |
263 blanks.tgroup = element tgroup { tgroup.attributes, blanks.tgroup.content } |
263 blanks.tgroup = element tgroup { tgroup.attributes, blanks.tgroup.content } |
264 point.tgroup = element tgroup { tgroup.attributes, point.tgroup.content } |
264 point.tgroup = element tgroup { tgroup.attributes, point.tgroup.content } |
265 |
265 |