blob: 2fcd56a3f778b0cf6be612b85aab9db73b2d6070 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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,
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!
|
