diff options
| author | David Aspinall | 2004-04-15 16:15:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-15 16:15:23 +0000 |
| commit | e3a7c84e8ef9c51d44ebed8dd310d7049f8c3695 (patch) | |
| tree | 0eac7a1ccde50dc9602f6d8f818ac50b60f6a596 | |
| parent | 2a4d9b5fb58a3e2407290be19cc7bba850b6d3c4 (diff) | |
Comments.
| -rw-r--r-- | generic/proof-shell.el | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index c0be8922..557c8557 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -2033,12 +2033,16 @@ processing." ;; Also ensure that proof-action-list is initialised. (setq proof-action-list nil) ;; Send main intitialization command and wait for it to be - ;; processed. First, if the prover supports PGIP and - ;; 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 user preferences may be set in proof-shell-init-cmd. + ;; processed. + + ;; First, if the prover supports PGIP and 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 user preferences may be then set sensibly in + ;; the 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)) |