fixes a libtool problem on AMD 64bits builds found the validation problem

* libxml.spec.in: fixes a libtool problem on AMD 64bits builds
* relaxng.c: found the validation problem I had with interleave
  when not covering all remaining siblings
* Makefile.am test.relaxng/* result/relaxng/*: augmented the
  testsuite and check the RNG schemas against the RNG schemas
  given in appendix A
Daniel
diff --git a/result/relaxng/addressBook_err b/result/relaxng/addressBook_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/addressBook_err
diff --git a/result/relaxng/addressBook_valid b/result/relaxng/addressBook_valid
new file mode 100644
index 0000000..584d55a
--- /dev/null
+++ b/result/relaxng/addressBook_valid
@@ -0,0 +1 @@
+./test/relaxng/addressBook.rng validates
diff --git a/result/relaxng/inline2_err b/result/relaxng/inline2_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/inline2_err
diff --git a/result/relaxng/inline2_valid b/result/relaxng/inline2_valid
new file mode 100644
index 0000000..027408e
--- /dev/null
+++ b/result/relaxng/inline2_valid
@@ -0,0 +1 @@
+./test/relaxng/inline2.rng validates
diff --git a/result/relaxng/inline3_err b/result/relaxng/inline3_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/inline3_err
diff --git a/result/relaxng/inline3_valid b/result/relaxng/inline3_valid
new file mode 100644
index 0000000..1ceccb8
--- /dev/null
+++ b/result/relaxng/inline3_valid
@@ -0,0 +1 @@
+./test/relaxng/inline3.rng validates
diff --git a/result/relaxng/inline_err b/result/relaxng/inline_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/inline_err
diff --git a/result/relaxng/inline_valid b/result/relaxng/inline_valid
new file mode 100644
index 0000000..8ba0e5c
--- /dev/null
+++ b/result/relaxng/inline_valid
@@ -0,0 +1 @@
+./test/relaxng/inline.rng validates
diff --git a/result/relaxng/interleave0_0_err b/result/relaxng/interleave0_0_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/interleave0_0_err
diff --git a/result/relaxng/interleave0_0_valid b/result/relaxng/interleave0_0_valid
new file mode 100644
index 0000000..0d865ec
--- /dev/null
+++ b/result/relaxng/interleave0_0_valid
@@ -0,0 +1 @@
+./test/relaxng/interleave0_0.rng validates
diff --git a/result/relaxng/interleave1_0_err b/result/relaxng/interleave1_0_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/interleave1_0_err
diff --git a/result/relaxng/interleave1_0_valid b/result/relaxng/interleave1_0_valid
new file mode 100644
index 0000000..4802352
--- /dev/null
+++ b/result/relaxng/interleave1_0_valid
@@ -0,0 +1 @@
+./test/relaxng/interleave1_0.rng validates
diff --git a/result/relaxng/pattern1_err b/result/relaxng/pattern1_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/pattern1_err
diff --git a/result/relaxng/pattern1_valid b/result/relaxng/pattern1_valid
new file mode 100644
index 0000000..8856446
--- /dev/null
+++ b/result/relaxng/pattern1_valid
@@ -0,0 +1 @@
+./test/relaxng/pattern1.rng validates
diff --git a/result/relaxng/pattern2_err b/result/relaxng/pattern2_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/pattern2_err
diff --git a/result/relaxng/pattern2_valid b/result/relaxng/pattern2_valid
new file mode 100644
index 0000000..acccc55
--- /dev/null
+++ b/result/relaxng/pattern2_valid
@@ -0,0 +1 @@
+./test/relaxng/pattern2.rng validates
diff --git a/result/relaxng/spec1_err b/result/relaxng/spec1_err
new file mode 100644
index 0000000..e40f607
--- /dev/null
+++ b/result/relaxng/spec1_err
@@ -0,0 +1 @@
+Unimplemented block at relaxng.c:4828
diff --git a/result/relaxng/spec1_valid b/result/relaxng/spec1_valid
new file mode 100644
index 0000000..8551c1e
--- /dev/null
+++ b/result/relaxng/spec1_valid
@@ -0,0 +1 @@
+./test/relaxng/spec1.rng validates
diff --git a/result/relaxng/table_err b/result/relaxng/table_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/table_err
diff --git a/result/relaxng/table_valid b/result/relaxng/table_valid
new file mode 100644
index 0000000..47e7996
--- /dev/null
+++ b/result/relaxng/table_valid
@@ -0,0 +1 @@
+./test/relaxng/table.rng validates
diff --git a/result/relaxng/tutor10_10_err b/result/relaxng/tutor10_10_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor10_10_err
diff --git a/result/relaxng/tutor10_10_valid b/result/relaxng/tutor10_10_valid
new file mode 100644
index 0000000..24a5f7e
--- /dev/null
+++ b/result/relaxng/tutor10_10_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_10.rng validates
diff --git a/result/relaxng/tutor10_1_4.err b/result/relaxng/tutor10_1_4.err
index 55d5ba5..7934554 100644
--- a/result/relaxng/tutor10_1_4.err
+++ b/result/relaxng/tutor10_1_4.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:5013
-error detected at relaxng.c:5319
+error detected at relaxng.c:5087
+error detected at relaxng.c:5437
diff --git a/result/relaxng/tutor10_1_5.err b/result/relaxng/tutor10_1_5.err
index 89b8f6d..e8d4bb1 100644
--- a/result/relaxng/tutor10_1_5.err
+++ b/result/relaxng/tutor10_1_5.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:5018
-error detected at relaxng.c:5319
+error detected at relaxng.c:5093
+error detected at relaxng.c:5437
diff --git a/result/relaxng/tutor10_1_6.err b/result/relaxng/tutor10_1_6.err
index 89b8f6d..e8d4bb1 100644
--- a/result/relaxng/tutor10_1_6.err
+++ b/result/relaxng/tutor10_1_6.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:5018
-error detected at relaxng.c:5319
+error detected at relaxng.c:5093
+error detected at relaxng.c:5437
diff --git a/result/relaxng/tutor10_1_err b/result/relaxng/tutor10_1_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor10_1_err
diff --git a/result/relaxng/tutor10_1_valid b/result/relaxng/tutor10_1_valid
new file mode 100644
index 0000000..85be3be
--- /dev/null
+++ b/result/relaxng/tutor10_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_1.rng validates
diff --git a/result/relaxng/tutor10_2_3.err b/result/relaxng/tutor10_2_3.err
index 11ceab2..35b54a4 100644
--- a/result/relaxng/tutor10_2_3.err
+++ b/result/relaxng/tutor10_2_3.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:5025
-error detected at relaxng.c:5319
+error detected at relaxng.c:5101
+error detected at relaxng.c:5437
diff --git a/result/relaxng/tutor10_2_4.err b/result/relaxng/tutor10_2_4.err
index 11ceab2..35b54a4 100644
--- a/result/relaxng/tutor10_2_4.err
+++ b/result/relaxng/tutor10_2_4.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:5025
-error detected at relaxng.c:5319
+error detected at relaxng.c:5101
+error detected at relaxng.c:5437
diff --git a/result/relaxng/tutor10_2_err b/result/relaxng/tutor10_2_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor10_2_err
diff --git a/result/relaxng/tutor10_2_valid b/result/relaxng/tutor10_2_valid
new file mode 100644
index 0000000..b3e32a6
--- /dev/null
+++ b/result/relaxng/tutor10_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_2.rng validates
diff --git a/result/relaxng/tutor10_3_err b/result/relaxng/tutor10_3_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor10_3_err
diff --git a/result/relaxng/tutor10_3_valid b/result/relaxng/tutor10_3_valid
new file mode 100644
index 0000000..3c714aa
--- /dev/null
+++ b/result/relaxng/tutor10_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_3.rng validates
diff --git a/result/relaxng/tutor10_4_err b/result/relaxng/tutor10_4_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor10_4_err
diff --git a/result/relaxng/tutor10_4_valid b/result/relaxng/tutor10_4_valid
new file mode 100644
index 0000000..3208137
--- /dev/null
+++ b/result/relaxng/tutor10_4_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_4.rng validates
diff --git a/result/relaxng/tutor10_5_err b/result/relaxng/tutor10_5_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor10_5_err
diff --git a/result/relaxng/tutor10_5_valid b/result/relaxng/tutor10_5_valid
new file mode 100644
index 0000000..49808cf
--- /dev/null
+++ b/result/relaxng/tutor10_5_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_5.rng validates
diff --git a/result/relaxng/tutor10_6_err b/result/relaxng/tutor10_6_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor10_6_err
diff --git a/result/relaxng/tutor10_6_valid b/result/relaxng/tutor10_6_valid
new file mode 100644
index 0000000..09368c1
--- /dev/null
+++ b/result/relaxng/tutor10_6_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_6.rng validates
diff --git a/result/relaxng/tutor10_7_3.err b/result/relaxng/tutor10_7_3.err
index d0012f7..8fcd183 100644
--- a/result/relaxng/tutor10_7_3.err
+++ b/result/relaxng/tutor10_7_3.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor10_7_err b/result/relaxng/tutor10_7_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor10_7_err
diff --git a/result/relaxng/tutor10_7_valid b/result/relaxng/tutor10_7_valid
new file mode 100644
index 0000000..081a230
--- /dev/null
+++ b/result/relaxng/tutor10_7_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_7.rng validates
diff --git a/result/relaxng/tutor10_8_3.err b/result/relaxng/tutor10_8_3.err
index d0012f7..8fcd183 100644
--- a/result/relaxng/tutor10_8_3.err
+++ b/result/relaxng/tutor10_8_3.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor10_8_err b/result/relaxng/tutor10_8_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor10_8_err
diff --git a/result/relaxng/tutor10_8_valid b/result/relaxng/tutor10_8_valid
new file mode 100644
index 0000000..1a864cc
--- /dev/null
+++ b/result/relaxng/tutor10_8_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_8.rng validates
diff --git a/result/relaxng/tutor10_9_err b/result/relaxng/tutor10_9_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor10_9_err
diff --git a/result/relaxng/tutor10_9_valid b/result/relaxng/tutor10_9_valid
new file mode 100644
index 0000000..942058e
--- /dev/null
+++ b/result/relaxng/tutor10_9_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor10_9.rng validates
diff --git a/result/relaxng/tutor11_1_err b/result/relaxng/tutor11_1_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor11_1_err
diff --git a/result/relaxng/tutor11_1_valid b/result/relaxng/tutor11_1_valid
new file mode 100644
index 0000000..88347fe
--- /dev/null
+++ b/result/relaxng/tutor11_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor11_1.rng validates
diff --git a/result/relaxng/tutor11_2_2.err b/result/relaxng/tutor11_2_2.err
index 22c5063..43abea6 100644
--- a/result/relaxng/tutor11_2_2.err
+++ b/result/relaxng/tutor11_2_2.err
@@ -1 +1 @@
-error detected at relaxng.c:5061
+error detected at relaxng.c:5156
diff --git a/result/relaxng/tutor11_2_3.err b/result/relaxng/tutor11_2_3.err
index 22c5063..43abea6 100644
--- a/result/relaxng/tutor11_2_3.err
+++ b/result/relaxng/tutor11_2_3.err
@@ -1 +1 @@
-error detected at relaxng.c:5061
+error detected at relaxng.c:5156
diff --git a/result/relaxng/tutor11_2_err b/result/relaxng/tutor11_2_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor11_2_err
diff --git a/result/relaxng/tutor11_2_valid b/result/relaxng/tutor11_2_valid
new file mode 100644
index 0000000..3294c13
--- /dev/null
+++ b/result/relaxng/tutor11_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor11_2.rng validates
diff --git a/result/relaxng/tutor11_3_err b/result/relaxng/tutor11_3_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor11_3_err
diff --git a/result/relaxng/tutor11_3_valid b/result/relaxng/tutor11_3_valid
new file mode 100644
index 0000000..14d9d44
--- /dev/null
+++ b/result/relaxng/tutor11_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor11_3.rng validates
diff --git a/result/relaxng/tutor11_4_err b/result/relaxng/tutor11_4_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor11_4_err
diff --git a/result/relaxng/tutor11_4_valid b/result/relaxng/tutor11_4_valid
new file mode 100644
index 0000000..f0a8339
--- /dev/null
+++ b/result/relaxng/tutor11_4_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor11_4.rng validates
diff --git a/result/relaxng/tutor12_1_err b/result/relaxng/tutor12_1_err
new file mode 100644
index 0000000..e40f607
--- /dev/null
+++ b/result/relaxng/tutor12_1_err
@@ -0,0 +1 @@
+Unimplemented block at relaxng.c:4828
diff --git a/result/relaxng/tutor12_1_valid b/result/relaxng/tutor12_1_valid
new file mode 100644
index 0000000..a02fb41
--- /dev/null
+++ b/result/relaxng/tutor12_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor12_1.rng validates
diff --git a/result/relaxng/tutor13_1_err b/result/relaxng/tutor13_1_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor13_1_err
diff --git a/result/relaxng/tutor13_1_valid b/result/relaxng/tutor13_1_valid
new file mode 100644
index 0000000..ccd11ad
--- /dev/null
+++ b/result/relaxng/tutor13_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor13_1.rng validates
diff --git a/result/relaxng/tutor14_1_err b/result/relaxng/tutor14_1_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor14_1_err
diff --git a/result/relaxng/tutor14_1_valid b/result/relaxng/tutor14_1_valid
new file mode 100644
index 0000000..191ec3d
--- /dev/null
+++ b/result/relaxng/tutor14_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor14_1.rng validates
diff --git a/result/relaxng/tutor1_1_err b/result/relaxng/tutor1_1_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor1_1_err
diff --git a/result/relaxng/tutor1_1_valid b/result/relaxng/tutor1_1_valid
new file mode 100644
index 0000000..d7cbfe8
--- /dev/null
+++ b/result/relaxng/tutor1_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor1_1.rng validates
diff --git a/result/relaxng/tutor1_2_err b/result/relaxng/tutor1_2_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor1_2_err
diff --git a/result/relaxng/tutor1_2_valid b/result/relaxng/tutor1_2_valid
new file mode 100644
index 0000000..97d32b2
--- /dev/null
+++ b/result/relaxng/tutor1_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor1_2.rng validates
diff --git a/result/relaxng/tutor1_3_err b/result/relaxng/tutor1_3_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor1_3_err
diff --git a/result/relaxng/tutor1_3_valid b/result/relaxng/tutor1_3_valid
new file mode 100644
index 0000000..4941f8f
--- /dev/null
+++ b/result/relaxng/tutor1_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor1_3.rng validates
diff --git a/result/relaxng/tutor1_4_err b/result/relaxng/tutor1_4_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor1_4_err
diff --git a/result/relaxng/tutor1_4_valid b/result/relaxng/tutor1_4_valid
new file mode 100644
index 0000000..a1fd60c
--- /dev/null
+++ b/result/relaxng/tutor1_4_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor1_4.rng validates
diff --git a/result/relaxng/tutor2_1_err b/result/relaxng/tutor2_1_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor2_1_err
diff --git a/result/relaxng/tutor2_1_valid b/result/relaxng/tutor2_1_valid
new file mode 100644
index 0000000..df4778e
--- /dev/null
+++ b/result/relaxng/tutor2_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor2_1.rng validates
diff --git a/result/relaxng/tutor3_1_err b/result/relaxng/tutor3_1_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor3_1_err
diff --git a/result/relaxng/tutor3_1_valid b/result/relaxng/tutor3_1_valid
new file mode 100644
index 0000000..949ef9a
--- /dev/null
+++ b/result/relaxng/tutor3_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_1.rng validates
diff --git a/result/relaxng/tutor3_2_1.err b/result/relaxng/tutor3_2_1.err
index c1214b4..eabd308 100644
--- a/result/relaxng/tutor3_2_1.err
+++ b/result/relaxng/tutor3_2_1.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:5005
-error detected at relaxng.c:5053
+error detected at relaxng.c:5078
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor3_2_err b/result/relaxng/tutor3_2_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor3_2_err
diff --git a/result/relaxng/tutor3_2_valid b/result/relaxng/tutor3_2_valid
new file mode 100644
index 0000000..b6cb1ad
--- /dev/null
+++ b/result/relaxng/tutor3_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_2.rng validates
diff --git a/result/relaxng/tutor3_3_err b/result/relaxng/tutor3_3_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor3_3_err
diff --git a/result/relaxng/tutor3_3_valid b/result/relaxng/tutor3_3_valid
new file mode 100644
index 0000000..92e83b6
--- /dev/null
+++ b/result/relaxng/tutor3_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_3.rng validates
diff --git a/result/relaxng/tutor3_4_err b/result/relaxng/tutor3_4_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor3_4_err
diff --git a/result/relaxng/tutor3_4_valid b/result/relaxng/tutor3_4_valid
new file mode 100644
index 0000000..61ef41f
--- /dev/null
+++ b/result/relaxng/tutor3_4_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_4.rng validates
diff --git a/result/relaxng/tutor3_5_2.err b/result/relaxng/tutor3_5_2.err
index d0012f7..8fcd183 100644
--- a/result/relaxng/tutor3_5_2.err
+++ b/result/relaxng/tutor3_5_2.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor3_5_err b/result/relaxng/tutor3_5_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor3_5_err
diff --git a/result/relaxng/tutor3_5_valid b/result/relaxng/tutor3_5_valid
new file mode 100644
index 0000000..2e36868
--- /dev/null
+++ b/result/relaxng/tutor3_5_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_5.rng validates
diff --git a/result/relaxng/tutor3_6_err b/result/relaxng/tutor3_6_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor3_6_err
diff --git a/result/relaxng/tutor3_6_valid b/result/relaxng/tutor3_6_valid
new file mode 100644
index 0000000..8479bea
--- /dev/null
+++ b/result/relaxng/tutor3_6_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_6.rng validates
diff --git a/result/relaxng/tutor3_7_err b/result/relaxng/tutor3_7_err
new file mode 100644
index 0000000..96dd8ee
--- /dev/null
+++ b/result/relaxng/tutor3_7_err
@@ -0,0 +1 @@
+error detected at relaxng.c:5437
diff --git a/result/relaxng/tutor3_7_valid b/result/relaxng/tutor3_7_valid
new file mode 100644
index 0000000..1e17969
--- /dev/null
+++ b/result/relaxng/tutor3_7_valid
@@ -0,0 +1,2 @@
+extra data on the document
+./test/relaxng/tutor3_7.rng fails to validate
diff --git a/result/relaxng/tutor3_8_err b/result/relaxng/tutor3_8_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor3_8_err
diff --git a/result/relaxng/tutor3_8_valid b/result/relaxng/tutor3_8_valid
new file mode 100644
index 0000000..44fe75d
--- /dev/null
+++ b/result/relaxng/tutor3_8_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_8.rng validates
diff --git a/result/relaxng/tutor3_9_err b/result/relaxng/tutor3_9_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor3_9_err
diff --git a/result/relaxng/tutor3_9_valid b/result/relaxng/tutor3_9_valid
new file mode 100644
index 0000000..d54fbe0
--- /dev/null
+++ b/result/relaxng/tutor3_9_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor3_9.rng validates
diff --git a/result/relaxng/tutor4_1_err b/result/relaxng/tutor4_1_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor4_1_err
diff --git a/result/relaxng/tutor4_1_valid b/result/relaxng/tutor4_1_valid
new file mode 100644
index 0000000..94f0289
--- /dev/null
+++ b/result/relaxng/tutor4_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor4_1.rng validates
diff --git a/result/relaxng/tutor4_2_err b/result/relaxng/tutor4_2_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor4_2_err
diff --git a/result/relaxng/tutor4_2_valid b/result/relaxng/tutor4_2_valid
new file mode 100644
index 0000000..82085d0
--- /dev/null
+++ b/result/relaxng/tutor4_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor4_2.rng validates
diff --git a/result/relaxng/tutor4_3_err b/result/relaxng/tutor4_3_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor4_3_err
diff --git a/result/relaxng/tutor4_3_valid b/result/relaxng/tutor4_3_valid
new file mode 100644
index 0000000..74eb8b2
--- /dev/null
+++ b/result/relaxng/tutor4_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor4_3.rng validates
diff --git a/result/relaxng/tutor4_4_err b/result/relaxng/tutor4_4_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor4_4_err
diff --git a/result/relaxng/tutor4_4_valid b/result/relaxng/tutor4_4_valid
new file mode 100644
index 0000000..641ee87
--- /dev/null
+++ b/result/relaxng/tutor4_4_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor4_4.rng validates
diff --git a/result/relaxng/tutor5_1_err b/result/relaxng/tutor5_1_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor5_1_err
diff --git a/result/relaxng/tutor5_1_valid b/result/relaxng/tutor5_1_valid
new file mode 100644
index 0000000..586fd98
--- /dev/null
+++ b/result/relaxng/tutor5_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor5_1.rng validates
diff --git a/result/relaxng/tutor5_2_err b/result/relaxng/tutor5_2_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor5_2_err
diff --git a/result/relaxng/tutor5_2_valid b/result/relaxng/tutor5_2_valid
new file mode 100644
index 0000000..de8f423
--- /dev/null
+++ b/result/relaxng/tutor5_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor5_2.rng validates
diff --git a/result/relaxng/tutor5_3_1.err b/result/relaxng/tutor5_3_1.err
index 594d855..62269a0 100644
--- a/result/relaxng/tutor5_3_1.err
+++ b/result/relaxng/tutor5_3_1.err
@@ -1 +1 @@
-error detected at relaxng.c:5201
+error detected at relaxng.c:5306
diff --git a/result/relaxng/tutor5_3_err b/result/relaxng/tutor5_3_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor5_3_err
diff --git a/result/relaxng/tutor5_3_valid b/result/relaxng/tutor5_3_valid
new file mode 100644
index 0000000..f00a543
--- /dev/null
+++ b/result/relaxng/tutor5_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor5_3.rng validates
diff --git a/result/relaxng/tutor5_4_err b/result/relaxng/tutor5_4_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor5_4_err
diff --git a/result/relaxng/tutor5_4_valid b/result/relaxng/tutor5_4_valid
new file mode 100644
index 0000000..669b41d
--- /dev/null
+++ b/result/relaxng/tutor5_4_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor5_4.rng validates
diff --git a/result/relaxng/tutor5_5_err b/result/relaxng/tutor5_5_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor5_5_err
diff --git a/result/relaxng/tutor5_5_valid b/result/relaxng/tutor5_5_valid
new file mode 100644
index 0000000..4f9f0f5
--- /dev/null
+++ b/result/relaxng/tutor5_5_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor5_5.rng validates
diff --git a/result/relaxng/tutor6_1_3.err b/result/relaxng/tutor6_1_3.err
index 22c5063..43abea6 100644
--- a/result/relaxng/tutor6_1_3.err
+++ b/result/relaxng/tutor6_1_3.err
@@ -1 +1 @@
-error detected at relaxng.c:5061
+error detected at relaxng.c:5156
diff --git a/result/relaxng/tutor6_1_err b/result/relaxng/tutor6_1_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor6_1_err
diff --git a/result/relaxng/tutor6_1_valid b/result/relaxng/tutor6_1_valid
new file mode 100644
index 0000000..7440829
--- /dev/null
+++ b/result/relaxng/tutor6_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor6_1.rng validates
diff --git a/result/relaxng/tutor6_2_4.err b/result/relaxng/tutor6_2_4.err
index d0012f7..8fcd183 100644
--- a/result/relaxng/tutor6_2_4.err
+++ b/result/relaxng/tutor6_2_4.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor6_2_err b/result/relaxng/tutor6_2_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor6_2_err
diff --git a/result/relaxng/tutor6_2_valid b/result/relaxng/tutor6_2_valid
new file mode 100644
index 0000000..ba78ec9
--- /dev/null
+++ b/result/relaxng/tutor6_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor6_2.rng validates
diff --git a/result/relaxng/tutor6_3_1.err b/result/relaxng/tutor6_3_1.err
index 22c5063..43abea6 100644
--- a/result/relaxng/tutor6_3_1.err
+++ b/result/relaxng/tutor6_3_1.err
@@ -1 +1 @@
-error detected at relaxng.c:5061
+error detected at relaxng.c:5156
diff --git a/result/relaxng/tutor6_3_err b/result/relaxng/tutor6_3_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor6_3_err
diff --git a/result/relaxng/tutor6_3_valid b/result/relaxng/tutor6_3_valid
new file mode 100644
index 0000000..35dbe51
--- /dev/null
+++ b/result/relaxng/tutor6_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor6_3.rng validates
diff --git a/result/relaxng/tutor7_1_2.err b/result/relaxng/tutor7_1_2.err
index dea493f..3a8a7db 100644
--- a/result/relaxng/tutor7_1_2.err
+++ b/result/relaxng/tutor7_1_2.err
@@ -1,3 +1,3 @@
-error detected at relaxng.c:4164
-error detected at relaxng.c:5255
-error detected at relaxng.c:5053
+error detected at relaxng.c:4196
+error detected at relaxng.c:5360
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor7_1_3.err b/result/relaxng/tutor7_1_3.err
index 17a46f6..ac8d77a 100644
--- a/result/relaxng/tutor7_1_3.err
+++ b/result/relaxng/tutor7_1_3.err
@@ -1,3 +1,3 @@
-error detected at relaxng.c:4353
-error detected at relaxng.c:5255
-error detected at relaxng.c:5053
+error detected at relaxng.c:4385
+error detected at relaxng.c:5360
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor7_1_err b/result/relaxng/tutor7_1_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor7_1_err
diff --git a/result/relaxng/tutor7_1_valid b/result/relaxng/tutor7_1_valid
new file mode 100644
index 0000000..03d273f
--- /dev/null
+++ b/result/relaxng/tutor7_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor7_1.rng validates
diff --git a/result/relaxng/tutor7_2_4.err b/result/relaxng/tutor7_2_4.err
index c8637a8..119e233 100644
--- a/result/relaxng/tutor7_2_4.err
+++ b/result/relaxng/tutor7_2_4.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:4328
-error detected at relaxng.c:5255
+error detected at relaxng.c:4360
+error detected at relaxng.c:5360
diff --git a/result/relaxng/tutor7_2_err b/result/relaxng/tutor7_2_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor7_2_err
diff --git a/result/relaxng/tutor7_2_valid b/result/relaxng/tutor7_2_valid
new file mode 100644
index 0000000..cec5245
--- /dev/null
+++ b/result/relaxng/tutor7_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor7_2.rng validates
diff --git a/result/relaxng/tutor7_3_4.err b/result/relaxng/tutor7_3_4.err
index 17a46f6..ac8d77a 100644
--- a/result/relaxng/tutor7_3_4.err
+++ b/result/relaxng/tutor7_3_4.err
@@ -1,3 +1,3 @@
-error detected at relaxng.c:4353
-error detected at relaxng.c:5255
-error detected at relaxng.c:5053
+error detected at relaxng.c:4385
+error detected at relaxng.c:5360
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor7_3_5.err b/result/relaxng/tutor7_3_5.err
index dea493f..3a8a7db 100644
--- a/result/relaxng/tutor7_3_5.err
+++ b/result/relaxng/tutor7_3_5.err
@@ -1,3 +1,3 @@
-error detected at relaxng.c:4164
-error detected at relaxng.c:5255
-error detected at relaxng.c:5053
+error detected at relaxng.c:4196
+error detected at relaxng.c:5360
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor7_3_err b/result/relaxng/tutor7_3_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor7_3_err
diff --git a/result/relaxng/tutor7_3_valid b/result/relaxng/tutor7_3_valid
new file mode 100644
index 0000000..9f1c5a3
--- /dev/null
+++ b/result/relaxng/tutor7_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor7_3.rng validates
diff --git a/result/relaxng/tutor8_1_err b/result/relaxng/tutor8_1_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor8_1_err
diff --git a/result/relaxng/tutor8_1_valid b/result/relaxng/tutor8_1_valid
new file mode 100644
index 0000000..a4f6ce5
--- /dev/null
+++ b/result/relaxng/tutor8_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor8_1.rng validates
diff --git a/result/relaxng/tutor8_2_4.err b/result/relaxng/tutor8_2_4.err
index d0012f7..4317d77 100644
--- a/result/relaxng/tutor8_2_4.err
+++ b/result/relaxng/tutor8_2_4.err
@@ -1 +1,3 @@
-error detected at relaxng.c:5053
+Unimplemented block at relaxng.c:4828
+Unimplemented block at relaxng.c:4828
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor8_2_5 b/result/relaxng/tutor8_2_5
index dcd25f9..453f756 100644
--- a/result/relaxng/tutor8_2_5
+++ b/result/relaxng/tutor8_2_5
@@ -1,3 +1,3 @@
-Expecting an element
+Expecting an element, got empty
 Extra content for element head: meta
 ./test/relaxng/tutor8_2_5.xml fails to validate
diff --git a/result/relaxng/tutor8_2_5.err b/result/relaxng/tutor8_2_5.err
index 3a34a13..9f6bbaa 100644
--- a/result/relaxng/tutor8_2_5.err
+++ b/result/relaxng/tutor8_2_5.err
@@ -1,2 +1,2 @@
-error detected at relaxng.c:4993
-error detected at relaxng.c:5053
+error detected at relaxng.c:5059
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor8_2_6.err b/result/relaxng/tutor8_2_6.err
index d0012f7..8fcd183 100644
--- a/result/relaxng/tutor8_2_6.err
+++ b/result/relaxng/tutor8_2_6.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor8_2_err b/result/relaxng/tutor8_2_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor8_2_err
diff --git a/result/relaxng/tutor8_2_valid b/result/relaxng/tutor8_2_valid
new file mode 100644
index 0000000..fa3dcb2
--- /dev/null
+++ b/result/relaxng/tutor8_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor8_2.rng validates
diff --git a/result/relaxng/tutor8_3_err b/result/relaxng/tutor8_3_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor8_3_err
diff --git a/result/relaxng/tutor8_3_valid b/result/relaxng/tutor8_3_valid
new file mode 100644
index 0000000..01c6184
--- /dev/null
+++ b/result/relaxng/tutor8_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor8_3.rng validates
diff --git a/result/relaxng/tutor9_10_err b/result/relaxng/tutor9_10_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor9_10_err
diff --git a/result/relaxng/tutor9_10_valid b/result/relaxng/tutor9_10_valid
new file mode 100644
index 0000000..a8a7cb6
--- /dev/null
+++ b/result/relaxng/tutor9_10_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_10.rng validates
diff --git a/result/relaxng/tutor9_11_err b/result/relaxng/tutor9_11_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor9_11_err
diff --git a/result/relaxng/tutor9_11_valid b/result/relaxng/tutor9_11_valid
new file mode 100644
index 0000000..edd98bf
--- /dev/null
+++ b/result/relaxng/tutor9_11_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_11.rng validates
diff --git a/result/relaxng/tutor9_12_err b/result/relaxng/tutor9_12_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor9_12_err
diff --git a/result/relaxng/tutor9_12_valid b/result/relaxng/tutor9_12_valid
new file mode 100644
index 0000000..8881730
--- /dev/null
+++ b/result/relaxng/tutor9_12_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_12.rng validates
diff --git a/result/relaxng/tutor9_1_err b/result/relaxng/tutor9_1_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor9_1_err
diff --git a/result/relaxng/tutor9_1_valid b/result/relaxng/tutor9_1_valid
new file mode 100644
index 0000000..22c5f37
--- /dev/null
+++ b/result/relaxng/tutor9_1_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_1.rng validates
diff --git a/result/relaxng/tutor9_2_err b/result/relaxng/tutor9_2_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor9_2_err
diff --git a/result/relaxng/tutor9_2_valid b/result/relaxng/tutor9_2_valid
new file mode 100644
index 0000000..83c34ff
--- /dev/null
+++ b/result/relaxng/tutor9_2_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_2.rng validates
diff --git a/result/relaxng/tutor9_3_err b/result/relaxng/tutor9_3_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor9_3_err
diff --git a/result/relaxng/tutor9_3_valid b/result/relaxng/tutor9_3_valid
new file mode 100644
index 0000000..0a82f8e
--- /dev/null
+++ b/result/relaxng/tutor9_3_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_3.rng validates
diff --git a/result/relaxng/tutor9_4_err b/result/relaxng/tutor9_4_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor9_4_err
diff --git a/result/relaxng/tutor9_4_valid b/result/relaxng/tutor9_4_valid
new file mode 100644
index 0000000..42d087f
--- /dev/null
+++ b/result/relaxng/tutor9_4_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_4.rng validates
diff --git a/result/relaxng/tutor9_5_2.err b/result/relaxng/tutor9_5_2.err
index d0012f7..8fcd183 100644
--- a/result/relaxng/tutor9_5_2.err
+++ b/result/relaxng/tutor9_5_2.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor9_5_3.err b/result/relaxng/tutor9_5_3.err
index d0012f7..8fcd183 100644
--- a/result/relaxng/tutor9_5_3.err
+++ b/result/relaxng/tutor9_5_3.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor9_5_err b/result/relaxng/tutor9_5_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor9_5_err
diff --git a/result/relaxng/tutor9_5_valid b/result/relaxng/tutor9_5_valid
new file mode 100644
index 0000000..e6ddd7a
--- /dev/null
+++ b/result/relaxng/tutor9_5_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_5.rng validates
diff --git a/result/relaxng/tutor9_6_2.err b/result/relaxng/tutor9_6_2.err
index d0012f7..8fcd183 100644
--- a/result/relaxng/tutor9_6_2.err
+++ b/result/relaxng/tutor9_6_2.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor9_6_3.err b/result/relaxng/tutor9_6_3.err
index d0012f7..8fcd183 100644
--- a/result/relaxng/tutor9_6_3.err
+++ b/result/relaxng/tutor9_6_3.err
@@ -1 +1 @@
-error detected at relaxng.c:5053
+error detected at relaxng.c:5143
diff --git a/result/relaxng/tutor9_6_err b/result/relaxng/tutor9_6_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor9_6_err
diff --git a/result/relaxng/tutor9_6_valid b/result/relaxng/tutor9_6_valid
new file mode 100644
index 0000000..897a092
--- /dev/null
+++ b/result/relaxng/tutor9_6_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_6.rng validates
diff --git a/result/relaxng/tutor9_7_err b/result/relaxng/tutor9_7_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor9_7_err
diff --git a/result/relaxng/tutor9_7_valid b/result/relaxng/tutor9_7_valid
new file mode 100644
index 0000000..e171320
--- /dev/null
+++ b/result/relaxng/tutor9_7_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_7.rng validates
diff --git a/result/relaxng/tutor9_8_err b/result/relaxng/tutor9_8_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor9_8_err
diff --git a/result/relaxng/tutor9_8_valid b/result/relaxng/tutor9_8_valid
new file mode 100644
index 0000000..41a926c
--- /dev/null
+++ b/result/relaxng/tutor9_8_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_8.rng validates
diff --git a/result/relaxng/tutor9_9_err b/result/relaxng/tutor9_9_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutor9_9_err
diff --git a/result/relaxng/tutor9_9_valid b/result/relaxng/tutor9_9_valid
new file mode 100644
index 0000000..c4a95fd
--- /dev/null
+++ b/result/relaxng/tutor9_9_valid
@@ -0,0 +1 @@
+./test/relaxng/tutor9_9.rng validates
diff --git a/result/relaxng/tutorA_err b/result/relaxng/tutorA_err
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/result/relaxng/tutorA_err
diff --git a/result/relaxng/tutorA_valid b/result/relaxng/tutorA_valid
new file mode 100644
index 0000000..b4ab892
--- /dev/null
+++ b/result/relaxng/tutorA_valid
@@ -0,0 +1 @@
+./test/relaxng/tutorA.rng validates