src/Pure/System/isabelle_system.scala

 import java.util.regex.Pattern
 import java.io.{InputStream, OutputStream, File => JFile, BufferedReader, InputStreamReader,
   BufferedWriter, OutputStreamWriter, IOException, FileInputStream, BufferedInputStream}
 import java.awt.{GraphicsEnvironment, Font}
 import java.awt.font.TextAttribute
+import javax.swing.ImageIcon
 
 import scala.io.Source
 import scala.util.matching.Regex
 
 

       val stream = new BufferedInputStream(new FileInputStream(font.file))
       try { javafx.scene.text.Font.loadFont(stream, 1.0) }
       finally { stream.close }
     }
   }
+
+
+  /* icon */
+
+  def get_icon(): ImageIcon =
+    new ImageIcon(platform_path(Path.explode("~~/lib/logo/isabelle.gif")))
 }