diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 17:01:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 17:01:35 +0000 |
| commit | 24838e55d5672d1246523fadd415c2cb1d005163 (patch) | |
| tree | 9c4e961a5b165e18d5d21719266e371ee9332989 /isa | |
| parent | 7f2d7dc8a4684428b34ac31170696b106d297a76 (diff) | |
Comments
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/isabelle-system.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index 5f513e5c..c76cdf63 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -178,8 +178,10 @@ ISABELLE will always override this setting." (unless (string-equal logic "Default") logic)) (setq isabelle-prog-name (isabelle-command-line)) (setq proof-prog-name isabelle-prog-name) - ;; Settings are potentiall different between logics, and - ;; so are Isar keywords. FIXME: latter not handled yet. + ;; Settings are potentially different between logics, and + ;; so are Isar keywords. Set these to nil so they get + ;; automatically re-initialised. + ;; FIXME: Isar keywords change not handled yet. (setq proof-assistant-settings nil) (setq proof-menu-settings nil)) |