1 files changed, 3 insertions, 0 deletions
diff --git a/isa/isa.el b/isa/isa.el
index b2cc64a2..bec0003d 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -125,6 +125,9 @@ and script mode."
    proof-shell-inform-file-retracted-cmd 
    "ProofGeneral.inform_file_retracted \"%s\";"
 
+   ;; span menu 
+   proof-script-span-context-menu-extensions 'isabelle-create-span-menu
+
    ;; Parsing error messages.  Bit tricky to allow for
    ;; multitude of possible error formats Isabelle spits out.
    ;; Ideally we shouldn't bother parsing errors that appear