equal
deleted
inserted
replaced
719 & acronym* |
719 & acronym* |
720 & term* |
720 & term* |
721 & warning* |
721 & warning* |
722 } |
722 } |
723 |
723 |
724 inlines = |
724 inlines = mixed { |
725 simple.inlines |
725 sup* |
|
726 & sub* |
|
727 & var* |
|
728 & number* |
|
729 & math* |
|
730 & date* |
|
731 & name* |
|
732 & acronym* |
|
733 & term* |
|
734 & warning* |
|
735 |
726 & literal* |
736 & literal* |
727 & foreign* |
737 & foreign* |
728 & highlight* |
738 & highlight* |
729 & emphasis* |
739 & emphasis* |
730 & mentioned* |
740 & mentioned* |
736 & smil* |
746 & smil* |
737 & note* |
747 & note* |
738 & link* |
748 & link* |
739 & anchor* |
749 & anchor* |
740 & index* |
750 & index* |
|
751 } |
741 |
752 |
742 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
753 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
743 |
754 |
744 sup = element sup { mixed { var* & warning* } } |
755 sup = element sup { mixed { var* & warning* } } |
745 |
756 |