Akim Demaille 156e548341 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.

2020-07-04 11:43:35 +02:00

..

figs

dot: also use a dot in the output

2020-07-03 06:51:57 +02:00

.gitignore

gitignore: update

2020-01-05 09:40:46 +01:00

bison.texi

cex: give more details about -Wcex and -rcex

2020-07-04 11:43:35 +02:00

bison.x

Merge remote-tracking branch 'origin/maint'

2012-06-26 17:14:36 +02:00

Doxyfile.in

doc: update Doxygen template file

2020-06-30 08:01:40 +02:00

local.mk

doc: fix the generation of the man page

2020-05-08 09:02:45 +02:00

refcard.tex

package: bump copyrights to 2020

2020-01-05 10:26:35 +01:00

yacc.1.in

* doc/yacc.1.in: New.

2007-11-14 13:18:44 +00:00