changeset 49424 | 0d2114eb412a |
parent 49388 | 527e2bad7cca |
child 50710 | 8f61d1c7dded |
49389:623607c5a40f | 49424:0d2114eb412a |
---|---|
6 */ |
6 */ |
7 |
7 |
8 package isabelle |
8 package isabelle |
9 |
9 |
10 |
10 |
11 import java.io.{InputStream, OutputStream, File, FileInputStream, FileOutputStream, IOException} |
11 import java.io.{InputStream, OutputStream, File => JFile, FileInputStream, |
12 FileOutputStream, IOException} |
|
12 import java.net.{ServerSocket, InetAddress} |
13 import java.net.{ServerSocket, InetAddress} |
13 |
14 |
14 |
15 |
15 object System_Channel |
16 object System_Channel |
16 { |
17 { |