]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/rtests/canonxml/data_valid/conditional/INDEX
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / DEVEL / pxp / pxp / rtests / canonxml / data_valid / conditional / INDEX
diff --git a/helm/DEVEL/pxp/pxp/rtests/canonxml/data_valid/conditional/INDEX b/helm/DEVEL/pxp/pxp/rtests/canonxml/data_valid/conditional/INDEX
deleted file mode 100644 (file)
index 0360292..0000000
+++ /dev/null
@@ -1,20 +0,0 @@
-001    IGNORE works: <![IGNORE[ ... ]]>
-002    [precondition for 003] The first ATTLIST declaration for the same
-       attribute counts
-003    INCLUDE works: <![INCLUDE[ ... ]]>
-004    IGNORE works: <![%e;[ ... ]]> with e="IGNORE"
-005    INCLUDE works: <![%e;[ ... ]]> with e="INCLUDE"
-006    IGNORE works: <![IGNORE[ ... ]]> ignoring a section that would
-       be illegal
-007    Within ignored sections references to parameter references are
-       not resolved.
-       NOTE: You cannot derive this directly from the XML spec. because a 
-       precise definition what "ignoring" means is missing. This property
-       is an interpretation of the statement about reliable parsing in
-       section 3.4.
-008    Ignored sections may contain string literals containing "]]>".
-       NOTE: same problem with XML spec as 007
-009    Ignored sections may contain comments containing "]]>".
-       NOTE: same problem with XML spec as 007
-010    Nested conditional sections with outermost IGNORE
-011    Nested conditional sections with outermost INCLUDE