diff options
Diffstat (limited to 'generic/README')
| -rw-r--r-- | generic/README | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/generic/README b/generic/README new file mode 100644 index 00000000..828d76e5 --- /dev/null +++ b/generic/README @@ -0,0 +1,12 @@ +Proof General + +$Id$ + +The code in this directory implements the generic basis +of Proof General. + +It was written by Thomas Kleymann, Dilip Sequeira, Heafldene Goguen, +and David Aspinall. + +Several other people helped with contributions and modifications, see +individual credits in the code or summary in the Proof General manual. |