aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/set.out
Commit message (Expand)AuthorAge
* Remove extraneous space in coqtop/pg output (bug #4675).Gravatar Guillaume Melquiond2016-05-03
* Taking into account factorization of consecutive names of same typesGravatar Hugo Herbelin2014-10-23
* 11511 continued (bug in set.out + incohérence dans "Theorem with"Gravatar herbelin2008-10-28
* - Fixed many "Theorem with" bugs.Gravatar herbelin2008-10-27