aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coqdoc
Commit message (Expand)AuthorAge
* New model for user-driven translation of tokens in coqdocGravatar herbelin2010-04-06
* Small things about coqdoc + fixing lettuple.v test (part of bug #2289)Gravatar herbelin2010-03-30
* Several bug-fixes and improvements of coqdocGravatar herbelin2010-03-29