aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/coq/multiple
Commit message (Collapse)AuthorAge
* Updated multiple file notes.Gravatar David Aspinall1999-11-08
|
* Trivial tests for auto multiple files.Gravatar David Aspinall1999-10-25