# HG changeset patch
# User wenzelm
# Date 1199566638 -3600
# Node ID fdabeed7ccd9f79f5486e8a1bb19c5c929f993b3
# Parent  af7566faaa0fbaf0065f07875c7aa3605afd1bef
tuned comments;

diff -r af7566faaa0f -r fdabeed7ccd9 src/Pure/Tools/isabelle_process.ML
--- a/src/Pure/Tools/isabelle_process.ML	Sat Jan 05 21:37:24 2008 +0100
+++ b/src/Pure/Tools/isabelle_process.ML	Sat Jan 05 21:57:18 2008 +0100
@@ -7,7 +7,7 @@
 General format of process output:
 
   (a) unmarked stdout/stderr, no line structure (output should be
-  processed immediately as it arrives)
+  processed immediately as it arrives);
 
   (b) properly marked-up messages, e.g. for writeln channel
 
@@ -15,9 +15,9 @@
 
   where the props consist of name=value lines terminated by "\002,\n"
   each, and the remaining text is any number of lines (output is
-  supposed to be processed in one piece).
+  supposed to be processed in one piece);
 
-  (c) Special init message holds "pid" and "session" property.
+  (c) special init message holds "pid" and "session" property.
 *)
 
 signature ISABELLE_PROCESS =