Fixes to syntax and startup function.

1 files changed, 3 insertions, 1 deletions

diff --git a/isa/isa.el b/isa/isa.el
index f4c0a0fe..f9fc6b32 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -105,7 +105,9 @@ no regular or easily discernable structure."
    ;; initial command configures Isabelle by hacking print functions.
    ;; may need to set directory somewhere for this:
    ;; /home/da/devel/lego/elisp/   or  $PROOFGENERIC_HOME ?
-   proof-shell-init-cmd			"use \"isa-print-functions.ML\";"
+   proof-shell-init-cmd			(concat
+					 "use \"" proof-home
+					  "isa/isa-print-functions.ML\";")
    ;; === ANNOTATIONS  === remaining ones broken
    proof-shell-goal-char	        ?\375
    proof-shell-first-special-char	?\360