X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fcanonxml%2Fdata_valid%2Fbugfixes%2FINDEX;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fcanonxml%2Fdata_valid%2Fbugfixes%2FINDEX;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=56368c5272efa6b0e9f12deb53dc36e6af4947ac;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/rtests/canonxml/data_valid/bugfixes/INDEX b/helm/DEVEL/pxp/pxp/rtests/canonxml/data_valid/bugfixes/INDEX
deleted file mode 100644
index 56368c527..000000000
--- a/helm/DEVEL/pxp/pxp/rtests/canonxml/data_valid/bugfixes/INDEX
+++ /dev/null
@@ -1,12 +0,0 @@
-This directory contains real regression tests, i.e. it is tested whether
-reported bugs have been fixed.
-
-001.xml		2000-08-26: Haruo's single quote bug. Attvalues delimited
-		by single quotes did not work for the UTF-8 lexer.
-002+.xml	2000-08-26: Haruo's file-names-are-not-URLs bug. from_file
-		interpreted the file name as URL-encoded string. "002+.xml"
-		because the "+" must not be decoded as space.
-003.xml		2000-08-26: Alain's bug that data nodes must not be merged
-		where PI nodes are created. In the "comments" directory
-		there is another test for the case that comments delimit
-		data material