]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/canonxml/data_valid/bugfixes/INDEX
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / rtests / canonxml / data_valid / bugfixes / INDEX
1 This directory contains real regression tests, i.e. it is tested whether
2 reported bugs have been fixed.
3
4 001.xml         2000-08-26: Haruo's single quote bug. Attvalues delimited
5                 by single quotes did not work for the UTF-8 lexer.
6 002+.xml        2000-08-26: Haruo's file-names-are-not-URLs bug. from_file
7                 interpreted the file name as URL-encoded string. "002+.xml"
8                 because the "+" must not be decoded as space.
9 003.xml         2000-08-26: Alain's bug that data nodes must not be merged
10                 where PI nodes are created. In the "comments" directory
11                 there is another test for the case that comments delimit
12                 data material