[PATCH 00/10] Update HTML reports

The HTML reports should also include the counterexamples.  I don't
when I will work on that, but beforehand some improvements were dearly
needed in the XML outputs.

Akim Demaille (10):
  maint: make it easier to update expectations
  style: factor complex expressions
  tests: check html
  reports: update html ouput
  reports: let xml reports catch up with --report and --graph
  reports: let html reports catch up with --report and --graph
  html: simplify
  html: don't define several times the same anchors
  fixup! maint: make it easier to update expectations
  html: capitalize titles

 README-hacking.md       |   2 +-
 data/xslt/xml2text.xsl  |  20 +-
 data/xslt/xml2xhtml.xsl | 120 +++++---
 src/print-xml.c         |  23 +-
 src/print.c             |  15 +-
 tests/local.at          |   9 +-
 tests/local.mk          |   8 +
 tests/report.at         | 652 ++++++++++++++++++++++++++++++++++++++--
 8 files changed, 753 insertions(+), 96 deletions(-)

-- 
2.27.0