diff options
| author | David Aspinall | 2004-04-17 22:54:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-17 22:54:18 +0000 |
| commit | 3b95c622d769d2ee866140b0ebcd69a59b0c0385 (patch) | |
| tree | bff9247960a1991ea4aa0dab130ff2ef094611fd /doc | |
| parent | 7ae3ec9ef3add87344b386275cbe5c586ed55789 (diff) | |
Add missing menu entry.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 060baa59..132d9299 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -187,6 +187,7 @@ Experimental support is provided for several other provers. * Coq Proof General:: * Isabelle Proof General:: * HOL Proof General:: +* Shell Proof General:: @c * PhoX Proof General:: * Obtaining and Installing:: * Known bugs and workarounds:: |