equal
deleted
inserted
replaced
198 |
198 |
199 matching.attributes = |
199 matching.attributes = |
200 multiple.attribute? |
200 multiple.attribute? |
201 |
201 |
202 matching.content = |
202 matching.content = |
|
203 matching.intruders?, |
203 match, |
204 match, |
204 match+ |
205 match+ |
205 |
206 |
206 # ~~~~~~ match |
207 # ~~~~~~ match |
207 match = element match { match.content } |
208 match = element match { match.content } |
513 blanks.intruders = element intruders { blanks.intruders.content } |
514 blanks.intruders = element intruders { blanks.intruders.content } |
514 |
515 |
515 blanks.intruders.content = |
516 blanks.intruders.content = |
516 blank+ |
517 blank+ |
517 |
518 |
518 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ match.item ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
519 # ~~~~~~~~~~~~~~~~~~~~~~~ matching.intruders, match.item ~~~~~~~~~~~~~~~~~~~~~~ |
519 |
520 |
|
521 # ~~~~~~~ matching.intruders |
|
522 matching.intruders = element intruders { matching.intruders.content } |
|
523 |
|
524 matching.intruders.content = |
|
525 match.item+ |
|
526 |
|
527 # ~~~~~~~ match.item |
520 match.item = element item { match.item.content } |
528 match.item = element item { match.item.content } |
521 |
529 |
522 match.item.content = |
530 match.item.content = |
523 inlines |
531 inlines |
524 | (p, help?, answer?) |
532 | (p, help?, answer?) |