diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-07-08 14:28:48 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-07-08 14:28:48 +0000 |
commit | 6289242baa74267064cfde04f6a95565eceed171 (patch) | |
tree | afa0a38c270c427322c939dd2520487d14e18fb6 /isa | |
parent | 761d9aac830e435e59dcb97ae31a43fdcb5ac10f (diff) |
proof-prog-name: use isabelle-command-line;
Diffstat (limited to 'isa')
-rw-r--r-- | isa/isa.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -543,7 +543,7 @@ you will be asked to retract the file or process the remainder of it." ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (defun isa-pre-shell-start () - (setq proof-prog-name isabelle-prog-name) + (setq proof-prog-name (isabelle-command-line)) (setq proof-mode-for-shell 'isa-shell-mode) (setq proof-mode-for-goals 'isa-goals-mode) (setq proof-mode-for-response 'isa-response-mode)) |