Files
bison/src
Akim Demaille 44ad466a32 reports: let xml reports catch up with --report and --graph
The text and Dot reports are expected to be identical when generated
directly (--report, --graph) or indirectly (via XML).  The xml
testsuite had not be run for ages, let it catch up a bit.

* src/print-xml.c: Pass the type of the symbols.
* data/xslt/xml2text.xsl
Catch up with the new layout.
Display the symbol types.
Use '•', not '.'
* tests/local.at: Smash '•' to '.' when matching against the direct
text report.
* tests/report.at: Adjust XML expectations.
2020-07-11 12:58:44 +02:00
..
2020-06-01 18:52:22 +02:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-06-07 09:18:58 +02:00
2020-06-07 09:18:58 +02:00
2020-06-01 18:52:22 +02:00
2020-01-10 19:16:23 +01:00
2020-06-27 11:39:32 +02:00
2020-06-27 11:39:32 +02:00
2020-06-13 16:58:13 +02:00
2020-06-13 16:58:13 +02:00
2020-04-29 08:47:04 +02:00
2020-01-10 19:16:23 +01:00
2020-06-27 11:39:32 +02:00
2020-01-10 19:16:23 +01:00
2020-03-08 10:13:16 +01:00
2020-03-08 10:13:16 +01:00
2020-06-27 11:39:32 +02:00
2020-03-06 08:30:21 +01:00
2020-06-27 11:39:32 +02:00
2020-05-23 11:19:27 +02:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-06-27 17:31:59 +02:00
2020-01-10 19:16:23 +01:00
2020-07-05 08:18:51 +02:00
2020-07-05 09:59:45 +02:00
2020-01-10 19:16:23 +01:00
2020-06-01 18:52:22 +02:00
2020-07-11 12:58:44 +02:00
2020-01-10 19:16:23 +01:00
2020-07-05 09:59:45 +02:00
2020-03-06 08:30:21 +01:00
2020-06-27 17:31:59 +02:00
2020-06-27 11:39:32 +02:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-06-27 08:16:07 +02:00
2008-11-15 10:47:15 +01:00
2020-07-05 09:59:45 +02:00
2008-11-15 10:47:15 +01:00
2020-01-10 19:16:23 +01:00
2008-11-15 10:47:15 +01:00
2020-01-10 19:16:23 +01:00
2020-06-16 07:29:46 +02:00
2020-06-16 07:29:46 +02:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-06-27 17:31:59 +02:00
2020-06-27 17:31:59 +02:00
2020-06-13 16:58:13 +02:00
2020-06-27 11:39:32 +02:00
2020-01-10 19:16:23 +01:00
2020-05-22 08:45:43 +02:00
2020-01-10 19:16:23 +01:00
2019-01-12 10:45:21 +01:00