diff options
| -rw-r--r-- | isa/isabelle-system.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index a4814fb1..fe8e19ff 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -489,10 +489,11 @@ the function `pg-remove-specials' can be used instead)." (replace-regexp-in-string "\"" "\\\"" xmlstring)) (defun isabelle-process-pgip (xmlstring) - (let ((mlcmd (format "ProofGeneral.process_pgip(\"%s\");" - (isabelle-xml-sml-escapes xmlstring)))) + "Return an Isabelle or Isabelle/Isar command to process PGIP in XMLSTRING." + (let ((mlcmd (format "ProofGeneral.process_pgip(\"%s\");" + (isabelle-xml-sml-escapes xmlstring)))) (if (eq proof-assistant-symbol 'isar) - (isar-markup-ml mlcmd) + (isar-markup-ml mlcmd) mlcmd))) (provide 'isabelle-system) |