equal
deleted
inserted
replaced
647 |
647 |
648 point = element point { point.attributes, point.content } |
648 point = element point { point.attributes, point.content } |
649 |
649 |
650 point.attributes = |
650 point.attributes = |
651 point.ref.attribute? |
651 point.ref.attribute? |
652 point.ref.attribute = attribute ref { "right" | "1" | "2" | "3" | "4" | "5" } |
652 point.ref.attribute = attribute ref { |
|
653 "right" | "cat1" | "cat2" | "cat3" | "cat4" | "cat5" } |
653 |
654 |
654 point.content = simple.inlines |
655 point.content = simple.inlines |