diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-17 12:04:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-17 12:04:27 +0000 |
| commit | 3dfd6b8f0e96deac9584f7e054344ad1128609d8 (patch) | |
| tree | a9188dd7f4782e62666a2ef65084340fd1bdc4d3 /isar | |
| parent | a38f5defd9ed81de0263b1bf5ec42bce3589cdd2 (diff) | |
Support subterm help facility
Diffstat (limited to 'isar')
| -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 |