1 files changed, 5 insertions, 1 deletions
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