# HG changeset patch
# User wenzelm
# Date 1319319002 -7200
# Node ID 12913296be794a5f313ece2006bcdae3fe03b253
# Parent  feef63bcd7873f833207818a6c070754fb2c38c7
more private stuff;

diff -r feef63bcd787 -r 12913296be79 src/Pure/General/pretty.scala
--- a/src/Pure/General/pretty.scala	Sat Oct 22 23:29:44 2011 +0200
+++ b/src/Pure/General/pretty.scala	Sat Oct 22 23:30:02 2011 +0200
@@ -53,7 +53,7 @@
           Library.chunks(text).toList.map((s: CharSequence) => XML.Text(s.toString)))
     }
 
-  sealed case class Text(tx: XML.Body = Nil, val pos: Double = 0.0, val nl: Int = 0)
+  private sealed case class Text(tx: XML.Body = Nil, val pos: Double = 0.0, val nl: Int = 0)
   {
     def newline: Text = copy(tx = FBreak :: tx, pos = 0.0, nl = nl + 1)
     def string(s: String, len: Double): Text = copy(tx = XML.Text(s) :: tx, pos = pos + len)
diff -r feef63bcd787 -r 12913296be79 src/Pure/System/system_channel.scala
--- a/src/Pure/System/system_channel.scala	Sat Oct 22 23:29:44 2011 +0200
+++ b/src/Pure/System/system_channel.scala	Sat Oct 22 23:30:02 2011 +0200
@@ -28,12 +28,12 @@
 
 /** named pipes **/
 
-object Fifo_Channel
+private object Fifo_Channel
 {
   private val next_fifo = Counter()
 }
 
-class Fifo_Channel extends System_Channel
+private class Fifo_Channel extends System_Channel
 {
   private def mk_fifo(): String =
   {
@@ -81,7 +81,7 @@
 
 /** sockets **/
 
-class Socket_Channel extends System_Channel
+private class Socket_Channel extends System_Channel
 {
   private val server = new ServerSocket(0, 2, InetAddress.getByName("127.0.0.1"))