# HG changeset patch
# User Patrick PIERRE <patrick.pierre@prismallia.fr>
# Date 1379803297 -7200
# Node ID 5540389e60bae327bb9d0b58ac944af80a45c70b
# Parent  3483da1b39eb251ee51fcbe844d525caf81b70f3
var dans sup & sub

diff -r 3483da1b39eb -r 5540389e60ba 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* } }