--- 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()
--- 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.
*/
--- 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.
*/