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 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +