X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fcanonxml%2Fdata_valid%2Fconditional%2FINDEX;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fcanonxml%2Fdata_valid%2Fconditional%2FINDEX;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=0360292f73e5c118611a74f850e2fd1124b39e90;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

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
index 0360292f7..000000000
--- a/helm/DEVEL/pxp/pxp/rtests/canonxml/data_valid/conditional/INDEX
+++ /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