diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 16:36:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 16:36:52 +0000 |
| commit | 6d8b7b48de4ca4b617d8fc5605c8d155585b5919 (patch) | |
| tree | 3d1b90ed049c190ac7c60d30263c1a686f7e3e2a /doc | |
| parent | 68e2adef4dc142423f4ce668b445593fa36f22f6 (diff) | |
Version
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 7f3e0d9f..713dfdf1 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -1726,10 +1726,11 @@ use a fresh Emacs.) This chapter describes what you can do from inside the goals buffer, providing support for these features exists for your proof assistant. -As of Proof General 3.0, it only exists for LEGO. If you would like to -see subterm activation support for Proof General in another proof -assistant, please petition the developers of that proof assistant to -provide it! + +As of Proof General 4.0, this support only exists for LEGO. +If you would like to see subterm activation support for Proof General +in another proof assistant, please petition the developers of that +proof assistant to provide it! @menu * Goals buffer commands:: |