diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2020-07-02 08:19:58 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2020-07-04 11:43:35 +0200 |
| commit | 156e548341c24975c8c84d4013ab53bc990401fb (patch) | |
| tree | 67952bb00b863d8c9b7c52ca50ea11cf951e54f9 /data | |
| parent | 526ef45f306ed85ae22411e2564a66e5e39c9778 (diff) | |
| download | bison-156e548341c24975c8c84d4013ab53bc990401fb.tar.gz | |
cex: give more details about -Wcex and -rcex
* data/bison-default.css: Cobalt does not seem to be supported.
* doc/bison.texi (Counterexamples): A new section.
(Understanding): Show the counterexamples as it shows in the report:
with its items.
(Bison Options): Document -Wcex and -rcex.
Diffstat (limited to 'data')
| -rw-r--r-- | data/bison-default.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/bison-default.css b/data/bison-default.css index 2652e03f..5248c294 100644 --- a/data/bison-default.css +++ b/data/bison-default.css @@ -44,7 +44,7 @@ .cex-0 { color: yellow; } .cex-1 { color: green; } .cex-2 { color: blue; } -.cex-3 { color: cobalt; } +.cex-3 { color: purple; } .cex-4 { color: violet; } .cex-5 { color: orange; } .cex-6 { color: brown; } |