diff options
Diffstat (limited to 'generic/README')
| -rw-r--r-- | generic/README | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/generic/README b/generic/README new file mode 100644 index 00000000..4cf61435 --- /dev/null +++ b/generic/README @@ -0,0 +1,15 @@ +Proof General + +The code in this directory implements the generic basis +of Proof General. + +It was written by Thomas Kleymann, Dilip Sequeira, Healfdene Goguen, +David Aspinall, and Markus Wenzel. + +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! + +$Id$ + |