diff options
| author | David Aspinall | 2002-11-28 12:47:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-11-28 12:47:50 +0000 |
| commit | 9745166a90f6bca9b081ea9889e9447f69c0b4ff (patch) | |
| tree | 8722422d4deaf4d70a5515a46113d2ca4f531625 /isa | |
| parent | bf264b13eafad2e38470f4363f1de105ffac7484 (diff) | |
Documentation.
Diffstat (limited to 'isa')
| -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) |