aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Quote.out
Commit message (Expand)AuthorAge
* Remove extraneous space in coqtop/pg output (bug #4675).Gravatar Guillaume Melquiond2016-05-03
* Add tests for quoteGravatar glondu2009-03-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-26 19:23:19 +0000