From 6ceecb58ef0194979cca9dbc47bdc823d636739d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 May 2000 10:03:49 +0000
Subject: Merged from 3.1.5

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

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index 0f4a69dd..d6adba79 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -76,8 +76,7 @@ no regular or easily discernable structure."
    (list isa-docs-menu))
   "Entries for Isabelle menu.")
 
-(proof-deftoggle isabelle-show-sorts)
-(proof-deftoggle isabelle-show-types)
+
 
 
 ;;;
@@ -141,7 +140,7 @@ and script mode."
    proof-context-command	"ProofGeneral.show_context()"
    proof-info-command		"ProofGeneral.help()"
    proof-kill-goal-command	"ProofGeneral.kill_goal();"
-   proof-find-theorems-command  "ProofGeneral.thms_containing [\"%s\"]"
+   proof-find-theorems-command  "ProofGeneral.thms_containing (space_explode \",\" \"%s\");"
    proof-shell-start-silent-cmd "proofgeneral_disable_pr();"
    proof-shell-stop-silent-cmd  "proofgeneral_enable_pr();"   
    ;; command hooks
-- 
cgit v1.2.3