From 3b95c622d769d2ee866140b0ebcd69a59b0c0385 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 17 Apr 2004 22:54:18 +0000
Subject: Add missing menu entry.

---
 doc/ProofGeneral.texi | 1 +
 1 file changed, 1 insertion(+)

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::  
-- 
cgit v1.2.3