diff options
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isar/isar.el b/isar/isar.el index fae9d8ca..7bfc002e 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -250,6 +250,7 @@ proof-shell-restart-cmd "ProofGeneral.restart;" proof-shell-quit-cmd (isar-verbatim "quit();") + proof-shell-eager-annotation-start-length 1 proof-shell-eager-annotation-start "\360\\|\362" proof-shell-eager-annotation-end "\361\\|\363" |