/*  Title:      Pure/System/isabelle_system.scala

     Author:     Makarius

 Isabelle system support (settings environment etc.).

 */

 package isabelle

 import java.util.regex.Pattern

 import java.util.Locale

 import java.io.{InputStream, FileInputStream, OutputStream, FileOutputStream, File,

   BufferedReader, InputStreamReader, BufferedWriter, OutputStreamWriter, IOException}

 import java.awt.{GraphicsEnvironment, Font}

 import java.awt.font.TextAttribute

 import scala.io.Source

 import scala.util.matching.Regex

 import scala.collection.mutable

 object Isac

 {

   def parse(str_to_parse: String) : String ={

     var str = " Ich parse!!!!: " + str_to_parse;

     str

   }

 }