[PATCH 0/6] diagnostics: more changes for cex

The final (?) bunch of changes to improve the readability of the
counterexamples.

Cheers!

Akim Demaille (6):
  diagnostics: use hyperlinks to point to the only documentation
  cex: use usual routines for diagnostics about R/R conflicts
  cex: use usual routines for diagnostics about S/R conflicts
  cex: don't issue an empty line between counterexamples
  cex: improve readability of the subsections
  cex: label all the derivations by their initial action

 src/complain.c          |  38 +++-
 src/counterexample.c    |  99 +++++++--
 src/derivation.c        |   3 +-
 src/derivation.h        |   2 +-
 tests/conflicts.at      |  40 ++--
 tests/counterexample.at | 470 ++++++++++++++++++----------------------
 tests/diagnostics.at    |  43 ++--
 tests/local.at          |   2 +-
 tests/report.at         |  62 +++---
 9 files changed, 389 insertions(+), 370 deletions(-)

-- 
2.27.0