| changeset 55618 | 995162143ef4 |
| parent 54443 | 9714b5474f39 |
| child 56385 | 76acce58aeab |
--- a/src/Pure/System/isabelle_process.scala Thu Feb 20 14:17:28 2014 +0100 +++ b/src/Pure/System/isabelle_process.scala Thu Feb 20 14:36:17 2014 +0100 @@ -7,7 +7,7 @@ package isabelle -import java.lang.System + import java.util.concurrent.LinkedBlockingQueue import java.io.{BufferedReader, BufferedWriter, InputStreamReader, OutputStreamWriter, InputStream, OutputStream, BufferedOutputStream, IOException}