From 6224291b429b170ca6e2c590fc0870cb7cfd3cf8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 1 Dec 2009 10:17:10 +0000
Subject: Remove mention of `proof-script-use-old-parser'.

---
 generic/proof-menu.el | 1 -
 1 file changed, 1 deletion(-)

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 9b7271f5..4936d41d 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -316,7 +316,6 @@ without adjusting window layout."
      :selected proof-electric-terminator-enable
      :help "Automatically send commands as typed"]
      ["Fly Past Comments" proof-script-fly-past-comments-toggle
-      :visible (not proof-script-use-old-parser)
       :style toggle
       :selected proof-script-fly-past-comments
       :help "Coalesce and skip over successive comments"]
-- 
cgit v1.2.3