diff options
| author | David Aspinall | 1999-12-01 19:38:48 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-12-01 19:38:48 +0000 |
| commit | 158fb10b08c622fc8faed986bd0c4a174abd75c2 (patch) | |
| tree | cbb5a3c773dcfc0333f08fe5f11fa381b8ac3cdb /doc | |
| parent | 96470b5b867331b95a02de3c1e5ba74ab684914d (diff) | |
Minor.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index ec1bad0f..f889d9e0 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -391,8 +391,8 @@ has been managed by David Aspinall since then. This manual was written by David Aspinall and Thomas Kleymann. Some words found their way here from the user documentation of LEGO mode, prepared by Dilip Sequeira. Healfdene Goguen supplied some text for Coq -Proof General. The extensive revision of this manual for Proof General -3.0 has been made by David Aspinall. +Proof General. Since Proof General 2.0, this manual has been maintained +and improved by David Aspinall. The Proof General project has benefited from funding by EPSRC (Applications of a Type Theory Based Proof Assistant), the EC (Types for |