aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/coq/multiple/b.v
Commit message (Expand)AuthorAge
* Updated to use Require commandsGravatar David Aspinall2000-12-14
* Trivial tests for auto multiple files.Gravatar David Aspinall1999-10-25