diff options
| author | Makarius Wenzel | 1999-08-18 17:06:14 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-08-18 17:06:14 +0000 |
| commit | ddbaaac9404e0925bb0e99e393103e8e6143333f (patch) | |
| tree | f18987832db7bcbcc72ab52d3b8822b9f3e3bdaa | |
| parent | 39e2cc196ed9ef9bf7d9f444b47800368872bd0f (diff) | |
proof-shell-start-goals-regexp: include \n;
| -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 972ef947..19967f85 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -203,7 +203,7 @@ ;; set somewhere else. proof-shell-goal-regexp "\370[ \t]*\\([0-9]+\\)\\." - proof-shell-start-goals-regexp "\366" + proof-shell-start-goals-regexp "\366\n" proof-shell-end-goals-regexp "\367" proof-shell-goal-char ?\370 ;; initial command configures Isabelle/Isar by modifying print functions etc. |