equal
deleted
inserted
replaced
606 name = element name { name.attributes, name.content } |
606 name = element name { name.attributes, name.content } |
607 |
607 |
608 name.attributes = |
608 name.attributes = |
609 name.of.attribute? |
609 name.of.attribute? |
610 name.of.attribute = attribute of |
610 name.of.attribute = attribute of |
611 { "person" | "company" | "book" | "newspaper" | "party" } |
611 { "person" | "company" | "book" | "newspaper" | "party" | "painting" } |
612 |
612 |
613 name.content = inlines |
613 name.content = inlines |
614 |
614 |
615 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ note ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
615 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ note ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
616 |
616 |