equal
deleted
inserted
replaced
97 # ~~~~~~ division.head |
97 # ~~~~~~ division.head |
98 division.head = element head { division.head.content } |
98 division.head = element head { division.head.content } |
99 |
99 |
100 division.head.content = |
100 division.head.content = |
101 (title, shorttitle?, subtitle*)? |
101 (title, shorttitle?, subtitle*)? |
|
102 & head.index* |
102 & abstract? |
103 & abstract? |
103 & annotation* |
104 & annotation* |
104 |
105 |
105 # ~~~~~~ front |
106 # ~~~~~~ front |
106 front = element front { front.content } |
107 front = element front { front.content } |