diff options
Diffstat (limited to 'isa')
-rw-r--r-- | isa/isabelle-system.el | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index 70e625b0..a4814fb1 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -489,8 +489,11 @@ the function `pg-remove-specials' can be used instead)." (replace-regexp-in-string "\"" "\\\"" xmlstring)) (defun isabelle-process-pgip (xmlstring) - (format "ProofGeneral.process_pgip(\"%s\");" - (isabelle-xml-sml-escapes xmlstring))) + (let ((mlcmd (format "ProofGeneral.process_pgip(\"%s\");" + (isabelle-xml-sml-escapes xmlstring)))) + (if (eq proof-assistant-symbol 'isar) + (isar-markup-ml mlcmd) + mlcmd))) (provide 'isabelle-system) ;; End of isabelle-system.el |