# HG changeset patch # User Patrick PIERRE # 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* } }