From ffbb9e2856a3e8f2afa497f3ba102319d91671f8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Jul 2002 12:23:14 +0000
Subject: Support subterm help facility (not quite working)

---
 isa/isa.el | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/isa/isa.el b/isa/isa.el
index cb4c9481..1f6ef2e6 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -218,7 +218,11 @@ and script mode."
    pg-subterm-anns-use-stack		t
    pg-subterm-start-char		?\372
    pg-subterm-sep-char			?\373
-   pg-subterm-end-char		?\374
+   pg-subterm-end-char			?\374
+   pg-before-subterm-markup-hook	'isabelle-convert-idmarkup-to-subterm
+					;'pg-remove-specials
+   ;; FIXME: next one doesn't do quite the right thing, always returns 'a?
+   pg-subterm-help-cmd			"printyp (type_of (read \"%s\"))"
 
    ;; === MULTIPLE FILE HANDLING ===
    proof-shell-process-file 
-- 
cgit v1.2.3