diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 20:44:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 20:44:33 +0000 |
| commit | e8db898e3a480f9425dc50e8fbd890448df39ec9 (patch) | |
| tree | a4773e62a1354f4870f65937f6697c467967a930 /isar/isar.el | |
| parent | 5492bc751b140106e59c60e7499f1a43fd5ca045 (diff) | |
Fix proof-shell-trace-output-regexp: match on annotation \^AI now too
Diffstat (limited to 'isar/isar.el')
| -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 c69d855f..a1ca86a1 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -144,7 +144,7 @@ See -k option for Isabelle interface script." proof-kill-goal-command "ProofGeneral.kill_proof" proof-shell-start-silent-cmd "disable_pr" proof-shell-stop-silent-cmd "enable_pr" - proof-shell-trace-output-regexp "\^AV" + proof-shell-trace-output-regexp "\^AI\^AV" ;; command hooks proof-goal-command-p 'isar-goal-command-p proof-really-save-command-p 'isar-global-save-command-p |