# HG changeset patch
# User wenzelm
# Date 1445443212 -7200
# Node ID 56a167b31a7ff2a4fedfe55a6462aa11872b1507
# Parent  4efe9a6dd212e97f7423d12fa65b9ed37248b554
Isabelle fonts via external component;

diff -r 4efe9a6dd212 -r 56a167b31a7f Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Oct 21 17:53:26 2015 +0200
+++ b/Admin/components/components.sha1	Wed Oct 21 18:00:12 2015 +0200
@@ -29,6 +29,7 @@
 23a96ff4951d72f4024b6e8843262eda988bc151  Haskabelle-2014.tar.gz
 eccff31931fb128c1dd522cfc85495c9b66e67af  Haskabelle-2015.tar.gz
 683acd94761ef460cca1a628f650355370de5afb  hol-light-bundle-0.5-126.tar.gz
+20b53cfc3ffc5b15c1eabc91846915b49b4c0367  isabelle_fonts-20151021.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944  jdk-7u13.tar.gz
diff -r 4efe9a6dd212 -r 56a167b31a7f Admin/components/main
--- a/Admin/components/main	Wed Oct 21 17:53:26 2015 +0200
+++ b/Admin/components/main	Wed Oct 21 18:00:12 2015 +0200
@@ -4,6 +4,7 @@
 e-1.8
 exec_process-1.0.3
 Haskabelle-2015
+isabelle_fonts-20151021
 jdk-8u60
 jedit_build-20150228
 jfreechart-1.0.14-1
diff -r 4efe9a6dd212 -r 56a167b31a7f etc/settings
--- a/etc/settings	Wed Oct 21 17:53:26 2015 +0200
+++ b/etc/settings	Wed Oct 21 18:00:12 2015 +0200
@@ -124,7 +124,6 @@
 ### Rendering information
 ###
 
-ISABELLE_FONTS="$ISABELLE_HOME/lib/fonts/IsabelleText.ttf:$ISABELLE_HOME/lib/fonts/IsabelleTextBold.ttf"
 ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols"
 
 
diff -r 4efe9a6dd212 -r 56a167b31a7f src/Pure/Thy/present.scala
--- a/src/Pure/Thy/present.scala	Wed Oct 21 17:53:26 2015 +0200
+++ b/src/Pure/Thy/present.scala	Wed Oct 21 18:00:12 2015 +0200
@@ -105,8 +105,9 @@
       Isabelle_System.mkdirs(session_prefix)
       File.write(session_prefix + Path.basic("session_graph.pdf"), File.read(graph_file))
       File.copy(Path.explode("~~/etc/isabelle.css"), session_prefix)
-      File.copy(Path.explode("~~/lib/fonts/IsabelleText.ttf"), session_prefix)
-      File.copy(Path.explode("~~/lib/fonts/IsabelleTextBold.ttf"), session_prefix)
+
+      for (font <- Path.split(Isabelle_System.getenv_strict("ISABELLE_FONTS")))
+        File.copy(font, session_prefix)
     }
   }
 }