tuned comments;
authorwenzelm
Wed Aug 13 10:46:14 2014 +0200 (2014-08-13)
changeset 57923cdae2467311d
parent 57920 c1953856cfca
child 57924 a3360da1d2f0
tuned comments;
src/Pure/PIDE/prover.scala
src/Pure/PIDE/session.scala
src/Pure/Tools/build.scala
     1.1 --- a/src/Pure/PIDE/prover.scala	Tue Aug 12 21:29:50 2014 +0200
     1.2 +++ b/src/Pure/PIDE/prover.scala	Wed Aug 13 10:46:14 2014 +0200
     1.3 @@ -1,7 +1,8 @@
     1.4  /*  Title:      Pure/PIDE/prover.scala
     1.5      Author:     Makarius
     1.6 +    Options:    :folding=explicit:
     1.7  
     1.8 -General prover operations and process wrapping.
     1.9 +Prover process wrapping.
    1.10  */
    1.11  
    1.12  package isabelle
    1.13 @@ -87,7 +88,7 @@
    1.14    system_channel: System_Channel,
    1.15    system_process: Prover.System_Process) extends Protocol
    1.16  {
    1.17 -  /* output */
    1.18 +  /** receiver output **/
    1.19  
    1.20    val xml_cache: XML.Cache = new XML.Cache()
    1.21  
     2.1 --- a/src/Pure/PIDE/session.scala	Tue Aug 12 21:29:50 2014 +0200
     2.2 +++ b/src/Pure/PIDE/session.scala	Wed Aug 13 10:46:14 2014 +0200
     2.3 @@ -1,6 +1,6 @@
     2.4  /*  Title:      Pure/PIDE/session.scala
     2.5      Author:     Makarius
     2.6 -    Options:    :folding=explicit:collapseFolds=1:
     2.7 +    Options:    :folding=explicit:
     2.8  
     2.9  PIDE editor session, potentially with running prover process.
    2.10  */
     3.1 --- a/src/Pure/Tools/build.scala	Tue Aug 12 21:29:50 2014 +0200
     3.2 +++ b/src/Pure/Tools/build.scala	Wed Aug 13 10:46:14 2014 +0200
     3.3 @@ -1,6 +1,6 @@
     3.4  /*  Title:      Pure/Tools/build.scala
     3.5      Author:     Makarius
     3.6 -    Options:    :folding=explicit:collapseFolds=1:
     3.7 +    Options:    :folding=explicit:
     3.8  
     3.9  Build and manage Isabelle sessions.
    3.10  */