aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/README
Commit message (Expand)AuthorAge
* UpdatedGravatar David Aspinall2000-09-23
* Added README files for each prover, summarizing status.Gravatar David Aspinall2000-03-09