From 3dfd6b8f0e96deac9584f7e054344ad1128609d8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Jul 2002 12:04:27 +0000
Subject: Support subterm help facility

---
 isar/isar.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'isar')

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
-- 
cgit v1.2.3