From 23792ca17ac646eadf08c7be62ccda7767002449 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Oct 1998 15:37:13 +0000
Subject: More hacks to variable names for customize (sorry)

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

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index 507121e1..5610c666 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -91,7 +91,7 @@ to set outline heading regexp.")
 (defun isa-mode-config-set-variables ()
   "Configure generic proof scripting mode variables for Isabelle."
   (setq
-   proof-www-home-page		isabelle-web-page
+   proof-assistant-home-page	isabelle-web-page
    proof-mode-for-script	'isa-proofscript-mode
    ;; proof script syntax
    proof-terminal-char		?\;	; ends a proof
@@ -159,7 +159,7 @@ to set outline heading regexp.")
    ;; /home/da/devel/lego/elisp/   or  $PROOFGENERIC_HOME ?
    proof-shell-init-cmd			(concat
 					 "use \""
-					 proof-internal-home-directory
+					 proof-home-directory
 					  "isa/ProofGeneral.ML\";")
    proof-shell-eager-annotation-start   "^\\[opening \\|^###\\|^Reading\\|^Proof General\\|^Not reading"  ; "^---\\|^\\[opening "
    ;; could be last bracket on end of line, or with ### and ***.
-- 
cgit v1.2.3