diff options
| -rw-r--r-- | isa/isabelle-system.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index fe8e19ff..5068877c 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -486,7 +486,7 @@ the function `pg-remove-specials' can be used instead)." ;; (defun isabelle-xml-sml-escapes (xmlstring) - (replace-regexp-in-string "\"" "\\\"" xmlstring)) + (replace-regexp-in-string "\"" "\\\"" xmlstring t t)) (defun isabelle-process-pgip (xmlstring) "Return an Isabelle or Isabelle/Isar command to process PGIP in XMLSTRING." |