diff options
| -rw-r--r-- | isar/isar.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/isar/isar.el b/isar/isar.el index 2269145a..5f38ef12 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -245,6 +245,8 @@ See -k option for Isabelle interface script." pg-subterm-end-char ?\374 pg-before-subterm-markup-hook 'isabelle-convert-idmarkup-to-subterm ;'pg-remove-specials + pg-subterm-help-cmd "term %s" + proof-shell-process-file (cons ;; Theory loader output |