diff options
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! |