equal
deleted
inserted
replaced
513 |
513 |
514 # ~~~~~~ blanks.intruders |
514 # ~~~~~~ blanks.intruders |
515 blanks.intruders = element intruders { blanks.intruders.content } |
515 blanks.intruders = element intruders { blanks.intruders.content } |
516 |
516 |
517 blanks.intruders.content = |
517 blanks.intruders.content = |
518 intruders.blank+ |
518 blank+ |
519 |
|
520 # ~~~~~~ intruders.blank |
|
521 intruders.blank = element blank { intruders.blank.content } |
|
522 |
|
523 intruders.blank.content = text |
|
524 |
519 |
525 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ match.item ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
520 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ match.item ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
526 |
521 |
527 match.item = element item { match.item.content } |
522 match.item = element item { match.item.content } |
528 |
523 |