Merged from 3.1.5

1 files changed, 2 insertions, 3 deletions

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