1 files changed, 1 insertions, 0 deletions
diff --git a/isa/isa.el b/isa/isa.el
index 41ffcd2d..03413ad0 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -53,6 +53,7 @@ no regular or easily discernable structure."
   "Configure generic proof scripting mode variables for Isabelle."
   (setq
    proof-www-home-page		isabelle-web-page
+   proof-mode-for-script	'isa-proofscript-mode
    ;; proof script syntax
    proof-terminal-char		?\;	; ends a proof
    proof-comment-start		"(*"	; comment in a proof