index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
coqdoc
Age
Commit message (
Expand
)
Author
2020-12-28
Fix broken HTML rendering of inference rules (fix #12783).
Guillaume Melquiond
2020-11-14
Coqdoc: we move a newline at a better place.
Hugo Herbelin
2020-11-14
Addressing #13304: how to verbatim an expression mentioning >>.
Hugo Herbelin
2020-07-29
coqdoc: Fix the “details” environment
Thomas Letan
2020-07-24
Fix coqdoc bad bulleting from incorrect space count
Gaëtan Gilbert
2020-04-21
Fixing #3451: coqdoc links for projections of tuples rather than for construc...
Hugo Herbelin
2020-04-20
Granting coqdoc wish #7093 (definitions link to themselves).
Hugo Herbelin
2020-04-15
Coqdoc: Exporting location and unique id for binding variables.
Hugo Herbelin
2020-04-05
Fixes #11194 (Canonical/Coercion not located for coqdoc).
Hugo Herbelin
2020-01-14
[coqdoc] Fix #11353: coqdoc -g omits all sentences with decorations
Karl Palmskog
2018-07-29
Adding support for custom entries in notations.
Hugo Herbelin
2017-11-20
Merge PR #6125: Fixing remaining problems with bug #5762 and PR #1120 (clause...
Maxime Dénès
2017-11-13
Fixing encoding in coqdoc output tests.
Hugo Herbelin
2017-11-08
Fixing a remaining "coqdoc" problem with bug #5762 and pr #1120.
Hugo Herbelin
2017-10-05
Fixing #5762 (supporting imp. args. in "where" clause of an inductive def.).
Hugo Herbelin
2017-08-29
coqdoc: Support comments in verbatim output
Tej Chajed
2017-07-19
Removing testing unsupported Next.
Hugo Herbelin
2017-07-17
Adding a coqdoc target to test-suite.
Hugo Herbelin
2010-04-06
New model for user-driven translation of tokens in coqdoc
herbelin
2010-03-30
Small things about coqdoc + fixing lettuple.v test (part of bug #2289)
herbelin
2010-03-29
Several bug-fixes and improvements of coqdoc
herbelin
