diff options
| author | David Aspinall | 2004-04-13 22:21:07 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-13 22:21:07 +0000 |
| commit | 68f5ce64c1d2faa65360da33e947b00a5673e97b (patch) | |
| tree | b4e7e3f359424c1ac728b933c3bafef4db7a227d /generic/proof-shell.el | |
| parent | 0fa55a1639c8fd44b04eb164797bfb5032efca53 (diff) | |
Abstract out proof-maybe-askprefs
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 88e1d0ac..3f8273bd 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1,6 +1,6 @@ ; proof-shell.el Proof General shell mode. ;; -;; Copyright (C) 1994-2002 LFCS Edinburgh. +;; Copyright (C) 1994-2004 LFCS Edinburgh. ;; Authors: David Aspinall, Yves Bertot, Healfdene Goguen, ;; Thomas Kleymann and Dilip Sequeira ;; License: GPL (GNU GENERAL PUBLIC LICENSE) @@ -2037,10 +2037,8 @@ processing." ;; preferences are not configured, we may configure them. ;; (NB: this assumes that PGIP provers are ready-to-go, without ;; needing init-cmd before PGIP processing). We do - ;; this so that preferences may be set in proof-shell-init-cmd. - (if (and (not proof-assistant-settings) - proof-shell-issue-pgip-cmd) - (pg-pgip-askprefs)) + ;; this so that user preferences may be set in proof-shell-init-cmd. + (proof-maybe-askprefs) ;; Now send the init cmd proper. (if proof-shell-init-cmd (proof-shell-invisible-command proof-shell-init-cmd t)) |