diff -r adde3c1288f2 -r 32381a87f807 RelaxNG/publidoc.rng
--- a/RelaxNG/publidoc.rng mar. sept. 13 10:24:30 2011 +0200
+++ b/RelaxNG/publidoc.rng mar. sept. 27 17:12:04 2011 +0200
@@ -635,7 +635,7 @@
-
+
@@ -980,9 +980,15 @@
+
+
+
+
+
+
@@ -1012,20 +1018,74 @@
+
+
+
-
+
-
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+ tex
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1225,10 +1285,15 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
@@ -1240,7 +1305,37 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+