src/Pure/System/isabelle_system.scala

--- a/src/Pure/System/isabelle_system.scala	Thu Apr 04 17:16:51 2013 +0200
+++ b/src/Pure/System/isabelle_system.scala	Thu Apr 04 17:33:04 2013 +0200
@@ -9,13 +9,10 @@
 
 import java.lang.System
 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 java.io.{File => JFile, BufferedReader, InputStreamReader,
+  BufferedWriter, OutputStreamWriter}
 import javax.swing.ImageIcon
 
-import scala.io.Source
 import scala.util.matching.Regex
 
 
@@ -426,28 +423,6 @@
   }
 
 
-  /* fonts */
-
-  def get_font(family: String = "IsabelleText", size: Int = 1, bold: Boolean = false): Font =
-    new Font(family, if (bold) Font.BOLD else Font.PLAIN, size)
-
-  def install_fonts()
-  {
-    val ge = GraphicsEnvironment.getLocalGraphicsEnvironment()
-    for (font <- Path.split(getenv_strict("ISABELLE_FONTS")))
-      ge.registerFont(Font.createFont(Font.TRUETYPE_FONT, font.file))
-  }
-
-  def install_fonts_jfx()
-  {
-    for (font <- Path.split(getenv_strict("ISABELLE_FONTS"))) {
-      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 =