aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coqdoc/bug5700.html.out
Commit message (Expand)AuthorAge
* Fixing encoding in coqdoc output tests.Gravatar Hugo Herbelin2017-11-13
* coqdoc: Support comments in verbatim outputGravatar Tej Chajed2017-08-29