Publidoc: comparison RelaxNG/publidoc.rnc

equal deleted inserted replaced

-:053afd50e85d
+:4c01e659284a
 & date*
 & name*
 & note*
 & foreign*
 & highlight*
-& mentioned*
 & quote*
 & acronym*
+& mentioned*
 & term*
+& literal*
 & link*
 & anchor*
 & initial*
 & image*
 & smil*
 highlight = element highlight { highlight.content }
 highlight.content = inlines
-# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ mentioned ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-mentioned = element mentioned { mentioned.content }
-mentioned.content = inlines
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ quote ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 quote = element quote { quote.content }
 quote.content =
 acronym = element acronym { acronym.content }
 acronym.content = inlines
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ mentioned ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+mentioned = element mentioned { mentioned.content }
+mentioned.content = inlines
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ term ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 term = element term { term.content }
 term.content = inlines
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ literal ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+literal = element literal { literal.content }
+literal.content = text
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ link ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 link = element link { link.attributes, link.content }