diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 14:30:49 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 14:30:49 +0000 |
commit | 6c738c012cbadad206ed385f2cc0cddae02273f1 (patch) | |
tree | 89f284927e7861370d182370e0271179303fc679 /generic/README | |
parent | 91e25fa3f8c227c1b60f871a8877dbcb46f92f82 (diff) |
Updated
Diffstat (limited to 'generic/README')
-rw-r--r-- | generic/README | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/README b/generic/README index 828d76e5..8f87fa14 100644 --- a/generic/README +++ b/generic/README @@ -10,3 +10,5 @@ and David Aspinall. Several other people helped with contributions and modifications, see individual credits in the code or summary in the Proof General manual. + +Contributions to the generic basis are welcome! |