From 9745166a90f6bca9b081ea9889e9447f69c0b4ff Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Nov 2002 12:47:50 +0000
Subject: Documentation.

---
 isa/isabelle-system.el | 7 ++++---
 1 file 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)
-- 
cgit v1.2.3