equal
deleted
inserted
replaced
5 optional init operation. |
5 optional init operation. |
6 */ |
6 */ |
7 |
7 |
8 package isabelle |
8 package isabelle |
9 |
9 |
10 import java.lang.System |
10 |
11 import java.util.regex.Pattern |
11 import java.util.regex.Pattern |
12 import java.io.{File => JFile, BufferedReader, InputStreamReader, |
12 import java.io.{File => JFile, BufferedReader, InputStreamReader, |
13 BufferedWriter, OutputStreamWriter} |
13 BufferedWriter, OutputStreamWriter} |
14 |
14 |
15 import scala.util.matching.Regex |
15 import scala.util.matching.Regex |