diff options
| -rw-r--r-- | isa/isa.el | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -196,10 +196,18 @@ and script mode." proof-shell-restart-cmd "ProofGeneral.isa_restart();" proof-shell-quit-cmd "quit();" - + proof-shell-eager-annotation-start "\360\\|\362" proof-shell-eager-annotation-start-length 1 proof-shell-eager-annotation-end "\361\\|\363" + ;; ALTERNATIVE SETTINGS FOR TESTING TRACING MODE: + ;; FIXME: Isabelle should markup Applying message now as an + ;; eager annotation. + ;; proof-shell-eager-annotation-start "\360\\|\362\\|Applying" + ;; proof-shell-spill-output-regexp "Applying" + ;; proof-shell-eager-annotation-start-length 8 ;; was 1 (ideal) + ;; proof-shell-eager-annotation-end "\361\\|\363\\|rule:" + ;; END TRACING TEST ;; Some messages delimited by eager annotations proof-shell-clear-response-regexp "Proof General, please clear the response buffer." |