src/Pure/System/isabelle_process.scala

--- a/src/Pure/System/isabelle_process.scala	Mon Dec 28 20:24:09 2009 +0100
+++ b/src/Pure/System/isabelle_process.scala	Mon Dec 28 22:03:14 2009 +0100
@@ -216,7 +216,7 @@
 
   private class StdinThread(out_stream: OutputStream) extends Thread("isabelle: stdin") {
     override def run() = {
-      val writer = new BufferedWriter(new OutputStreamWriter(out_stream, Isabelle_System.charset))
+      val writer = new BufferedWriter(new OutputStreamWriter(out_stream, Standard_System.charset))
       var finished = false
       while (!finished) {
         try {
@@ -246,7 +246,7 @@
 
   private class StdoutThread(in_stream: InputStream) extends Thread("isabelle: stdout") {
     override def run() = {
-      val reader = new BufferedReader(new InputStreamReader(in_stream, Isabelle_System.charset))
+      val reader = new BufferedReader(new InputStreamReader(in_stream, Standard_System.charset))
       var result = new StringBuilder(100)
 
       var finished = false