diff options
| author | Makarius Wenzel | 1999-09-03 16:27:16 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-09-03 16:27:16 +0000 |
| commit | a69de67e4b47807b19edcd0d24d8aaa452e922f9 (patch) | |
| tree | 2c8fff59818847b76e985988ed4febbcbe7aa0f7 | |
| parent | cd0b425e6c2c89bf65270eead97ded9da4500741 (diff) | |
proof-shell-restart-cmd: include welcome;
| -rw-r--r-- | isar/isar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index 4e0b9371..1a4f73ab 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -208,7 +208,7 @@ proof-shell-goal-char ?\370 ;; initial command configures Isabelle/Isar by modifying print functions etc. proof-shell-init-cmd "ProofGeneral.init true;" - proof-shell-restart-cmd "init_toplevel; touch_all_thys;" + proof-shell-restart-cmd "init_toplevel; touch_all_thys; welcome;" proof-shell-quit-cmd "quit();" proof-shell-eager-annotation-start "\360\\|\362" |