equal
deleted
inserted
replaced
790 |
790 |
791 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ literal ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
791 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ literal ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
792 |
792 |
793 literal = element literal { literal.content } |
793 literal = element literal { literal.content } |
794 |
794 |
795 literal.content = mixed { sup* & warning* } |
795 literal.content = inlines |
796 |
796 |
797 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ stage ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
797 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ stage ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
798 |
798 |
799 stage = element stage { stage.content } |
799 stage = element stage { stage.content } |
800 |
800 |