From 65814b4f19e1e938afe7b2143dfdba1751599489 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Dec 1998 18:23:09 +0000
Subject: Added a menu.

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index c723336d..8b83116b 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -254,6 +254,7 @@ Bugs specific to LEGO Proof General
 
 * Retraction and Discharge::    
 * Retraction and proving::      
+* Non writable directories::    
 
 Plans and ideas
 
-- 
cgit v1.2.3