changeset 43520 | cec9b95fa35d |
parent 43514 | 45cf8d5e109a |
child 43661 | 39fdbd814c7f |
--- a/src/Pure/System/isabelle_process.scala Thu Jun 23 14:48:32 2011 +0200 +++ b/src/Pure/System/isabelle_process.scala Thu Jun 23 14:52:32 2011 +0200 @@ -7,6 +7,7 @@ package isabelle +import java.lang.System import java.util.concurrent.LinkedBlockingQueue import java.io.{BufferedReader, BufferedWriter, InputStreamReader, OutputStreamWriter, InputStream, OutputStream, BufferedOutputStream, IOException}