From aad435c16be59fc744242a61e3e2b33d1f3a90f7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 31 Aug 2001 11:32:20 +0000
Subject: Skip settings which have no PA command in
 proof-assistant-settings-cmd

---
 generic/proof-menu.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 0a091754..0bd6ee23 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -537,8 +537,9 @@ If SETTING is non-nil, return a string for just that setting.
 Otherwise return a string for configuring all settings."
   (let
       ((evalifneeded (lambda (expr)
-			(if (or (not setting) 
-				(eq setting (car expr)))
+			(if (and (cadr expr) ;; setting has PA string?
+				 (or (not setting) 
+				     (eq setting (car expr))))
 			    (proof-assistant-format 
 			     (cadr expr) 
 			     (eval (proof-ass-symv (car expr))))))))
-- 
cgit v1.2.3