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=56368c5272efa6b0e9f12deb53dc36e6af4947ac;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;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
new file mode 100644
index 000000000..56368c527
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/rtests/canonxml/data_valid/bugfixes/INDEX
@@ -0,0 +1,12 @@
+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