diff options
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:: |