aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coqdoc/bug5648.tex.out
Commit message (Expand)AuthorAge
* Fixing encoding in coqdoc output tests.Gravatar Hugo Herbelin2017-11-13
* Removing testing unsupported Next.Gravatar Hugo Herbelin2017-07-19
* Adding a coqdoc target to test-suite.Gravatar Hugo Herbelin2017-07-17