diff options
| author | David Aspinall | 2004-02-29 23:47:09 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-02-29 23:47:09 +0000 |
| commit | 53b189c292365eb4ca275e759e373d2554856d83 (patch) | |
| tree | d7827483e5d71ffc78d3f4372feded57bf6f7b9b /pgkit | |
| parent | 672eb79d215d03b3b83c6758a2f35c05e06c4f2d (diff) | |
Update web addr
Diffstat (limited to 'pgkit')
| -rw-r--r-- | pgkit/README | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/pgkit/README b/pgkit/README index 81e6ad00..f7e50834 100644 --- a/pgkit/README +++ b/pgkit/README @@ -11,8 +11,10 @@ PGIP will allow a middleware layer for many interactive proof tools and interface components (including Emacs). The design of PGIP was made possible by the present Emacs-based Proof General framework. -For more on Proof General Kit, see -http://www.proofgeneral.org/kit.html +The code included here is not yet in a working state. Check the latest +development release of Proof General, and visit: + + http://proofgeneral.inf.ed.ac.uk/kit |