aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/3251.v
Commit message (Expand)AuthorAge
* better description of bug 3251Gravatar Enrico Tassi2014-04-10
* coqtop -batch refuses Back 1 but accepts Undo.Gravatar Pierre Boutillier2014-04-10
* Add a test case for bug 3251Gravatar Jason Gross2014-04-02