# HG changeset patch
# User wenzelm
# Date 1407919574 -7200
# Node ID cdae2467311d8c187a324c09444ad54ab6c1dd9f
# Parent  c1953856cfcaf2ea0c4f255714ce8b91aba127f6
tuned comments;

diff -r c1953856cfca -r cdae2467311d src/Pure/PIDE/prover.scala
--- a/src/Pure/PIDE/prover.scala	Tue Aug 12 21:29:50 2014 +0200
+++ b/src/Pure/PIDE/prover.scala	Wed Aug 13 10:46:14 2014 +0200
@@ -1,7 +1,8 @@
 /*  Title:      Pure/PIDE/prover.scala
     Author:     Makarius
+    Options:    :folding=explicit:
 
-General prover operations and process wrapping.
+Prover process wrapping.
 */
 
 package isabelle
@@ -87,7 +88,7 @@
   system_channel: System_Channel,
   system_process: Prover.System_Process) extends Protocol
 {
-  /* output */
+  /** receiver output **/
 
   val xml_cache: XML.Cache = new XML.Cache()
 
diff -r c1953856cfca -r cdae2467311d src/Pure/PIDE/session.scala
--- a/src/Pure/PIDE/session.scala	Tue Aug 12 21:29:50 2014 +0200
+++ b/src/Pure/PIDE/session.scala	Wed Aug 13 10:46:14 2014 +0200
@@ -1,6 +1,6 @@
 /*  Title:      Pure/PIDE/session.scala
     Author:     Makarius
-    Options:    :folding=explicit:collapseFolds=1:
+    Options:    :folding=explicit:
 
 PIDE editor session, potentially with running prover process.
 */
diff -r c1953856cfca -r cdae2467311d src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Tue Aug 12 21:29:50 2014 +0200
+++ b/src/Pure/Tools/build.scala	Wed Aug 13 10:46:14 2014 +0200
@@ -1,6 +1,6 @@
 /*  Title:      Pure/Tools/build.scala
     Author:     Makarius
-    Options:    :folding=explicit:collapseFolds=1:
+    Options:    :folding=explicit:
 
 Build and manage Isabelle sessions.
 */