diff options
| author | David Aspinall | 2009-09-06 21:29:21 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-06 21:29:21 +0000 |
| commit | 297c79ce392065529ea20a2ced95554a67230c91 (patch) | |
| tree | 6ad949eafedbaf34995b5d95990b218f8e9d2cc4 /pgkit/README | |
| parent | ec0258dc7cd8d2a8b8d30ea0398386f2000e35f4 (diff) | |
Obsolete files
Diffstat (limited to 'pgkit/README')
| -rw-r--r-- | pgkit/README | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/pgkit/README b/pgkit/README deleted file mode 100644 index f7e50834..00000000 --- a/pgkit/README +++ /dev/null @@ -1,22 +0,0 @@ -About Proof General Kit -======================= - -Proof General has been Emacs based so far, but plans are afoot to -liberate it from the points and parentheses of Emacs Lisp. The -successor framework, Proof General Kit, proposes that proof assistants -use a *standard* XML-based protocol for interactive proof, dubbed -PGIP. - -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. - -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 - - - - - |