equal
deleted
inserted
replaced
96 engine = |
96 engine = |
97 choices-radio |
97 choices-radio |
98 | choices-check |
98 | choices-check |
99 | blanks-fill |
99 | blanks-fill |
100 | blanks-select |
100 | blanks-select |
|
101 | blanks-char |
101 | point |
102 | point |
102 | matching |
103 | matching |
103 | sort |
104 | sort |
104 | categories |
105 | categories |
105 | pip |
106 | pip |
126 |
127 |
127 blanks-fill = element blanks-fill { |
128 blanks-fill = element blanks-fill { |
128 blanks-fill.attributes, blanks-fill.content } |
129 blanks-fill.attributes, blanks-fill.content } |
129 blanks-select = element blanks-select { |
130 blanks-select = element blanks-select { |
130 blanks-select.attributes, blanks-select.content } |
131 blanks-select.attributes, blanks-select.content } |
|
132 blanks-char = element blanks-char { blanks-select.content } |
131 |
133 |
132 blanks-fill.attributes = |
134 blanks-fill.attributes = |
133 strict.attribute? |
135 strict.attribute? |
134 blanks-select.attributes = |
136 blanks-select.attributes = |
135 multiple.attribute? |
137 multiple.attribute? |
517 } |
519 } |
518 |
520 |
519 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blank ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
521 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blank ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
520 |
522 |
521 # ~~~~~~ blank |
523 # ~~~~~~ blank |
522 blank = element blank { blank.content } |
524 blank = element blank { blank.attributes, blank.content } |
|
525 |
|
526 blank.attributes = |
|
527 function.attribute? |
|
528 function.attribute = attribute function { 'lowercase' | 'uppercase' } |
523 |
529 |
524 blank.content = |
530 blank.content = |
525 text |
531 text |
526 | (s+, help?, answer?) |
532 | (s+, help?, answer?) |
527 |
533 |