diff options
| author | David Aspinall | 2000-05-25 18:28:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-25 18:28:34 +0000 |
| commit | 1c7cc9e1525baf65117d814573c29d974614fe4b (patch) | |
| tree | 60dfaeb4f6f8b0c7602c7b6bf4ad743e57600abd /isar | |
| parent | 7b59d83391e45b11cd19081eab4096395d6c57b4 (diff) | |
Patch for synchronization problem in Coq, perhaps others.
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/isar/isar.el b/isar/isar.el index 408f6628..afc4dcc9 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -275,11 +275,8 @@ ;; initial command configures Isabelle/Isar by modifying print ;; functions, restoring settings saved by Proof General, etc. - proof-shell-init-cmd (concat - (isar-verbatim - "ProofGeneral.init true;") - "\n" - (isabelle-set-default-cmd)) + proof-shell-pre-sync-init-cmd (isar-verbatim "ProofGeneral.init true;") + proof-shell-init-cmd (isabelle-set-default-cmd) proof-shell-restart-cmd "ProofGeneral.restart;" proof-shell-quit-cmd (isar-verbatim "quit();") |