[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 0/4] doc: improvements and fixes about cex
From: |
Akim Demaille |
Subject: |
[PATCH 0/4] doc: improvements and fixes about cex |
Date: |
Tue, 28 Jul 2020 07:47:19 +0200 |
Akim Demaille (4):
doc: fixes
doc: fix colors
doc: factor ifnottex/iftex examples
doc: refer to cex from sections dealing with conflicts
NEWS | 2 +
doc/bison.texi | 171 ++++++++++++++++++++++++++++---------------------
2 files changed, 99 insertions(+), 74 deletions(-)
--
2.27.0
- [PATCH 0/4] doc: improvements and fixes about cex,
Akim Demaille <=