changeset 50298 | 1426d478ccda |
parent 50203 | 00d8ad713e32 |
child 50403 | 87868964733c |
--- a/src/Pure/System/isabelle_system.scala Fri Nov 30 17:53:32 2012 +0100 +++ b/src/Pure/System/isabelle_system.scala Fri Nov 30 21:28:35 2012 +0100 @@ -9,7 +9,6 @@ import java.lang.System import java.util.regex.Pattern -import java.util.Locale import java.io.{InputStream, OutputStream, File => JFile, BufferedReader, InputStreamReader, BufferedWriter, OutputStreamWriter, IOException, FileInputStream, BufferedInputStream} import java.awt.{GraphicsEnvironment, Font}