diff -r 32381a87f807 -r 5be33d03941a RelaxNG/publidoc.rng
--- a/RelaxNG/publidoc.rng mar. sept. 27 17:12:04 2011 +0200
+++ b/RelaxNG/publidoc.rng mar. sept. 27 23:30:00 2011 +0200
@@ -935,7 +935,10 @@
-
+
+
+
+
@@ -964,6 +967,15 @@
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
+
@@ -1335,7 +1329,4 @@
-
-
-