1.1 --- a/src/Pure/Isac/isac.scala	Sun Jul 14 15:02:09 2013 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,28 +0,0 @@
     1.4 -/*  Title:      Pure/System/isabelle_system.scala
     1.5 -    Author:     Makarius
     1.6 -
     1.7 -Isabelle system support (settings environment etc.).
     1.8 -*/
     1.9 -
    1.10 -package isabelle
    1.11 -
    1.12 -import java.util.regex.Pattern
    1.13 -import java.util.Locale
    1.14 -import java.io.{InputStream, FileInputStream, OutputStream, FileOutputStream, File,
    1.15 -  BufferedReader, InputStreamReader, BufferedWriter, OutputStreamWriter, IOException}
    1.16 -import java.awt.{GraphicsEnvironment, Font}
    1.17 -import java.awt.font.TextAttribute
    1.18 -
    1.19 -import scala.io.Source
    1.20 -import scala.util.matching.Regex
    1.21 -import scala.collection.mutable
    1.22 -
    1.23 -
    1.24 -object Isac
    1.25 -{
    1.26 -  def parse(str_to_parse: String) : String ={
    1.27 -    var str = " Ich parse!!!!: " + str_to_parse;
    1.28 -    str
    1.29 -  }
    1.30 -}
    1.31 -