var dans sup & sub
authorPatrick PIERRE <patrick.pierre@prismallia.fr>
dim., 22 sept. 2013 00:41:37 +0200
changeset 252 5540389e60ba
parent 251 3483da1b39eb
child 253 4df1612ba1c7
var dans sup & sub
RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	sam. sept. 21 23:41:53 2013 +0200
+++ b/RelaxNG/publidoc.rnc	dim. sept. 22 00:41:37 2013 +0200
@@ -709,9 +709,9 @@
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-sup = element sup { mixed { warning* } }
+sup = element sup { mixed { var* & warning* } }
 
-sub = element sub { mixed { warning* } }
+sub = element sub { mixed { var* & warning* } }
 
 var = element var { mixed { warning* } }