1 files changed, 1 insertions, 1 deletions
diff --git a/isa/isa.el b/isa/isa.el
index 1f6ef2e6..0318ffad 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -219,7 +219,7 @@ and script mode."
    pg-subterm-start-char		?\372
    pg-subterm-sep-char			?\373
    pg-subterm-end-char			?\374
-   pg-before-subterm-markup-hook	'isabelle-convert-idmarkup-to-subterm
+   pg-after-fontify-output-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\"))"