Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/html.scala
changeset 69355 cdc2de88d657
parent 69343 395c4fb15ea2
child 69356 32f886aaf9c0 
--- a/src/Pure/Thy/html.scala	Wed Nov 28 11:06:58 2018 +0100
+++ b/src/Pure/Thy/html.scala	Wed Nov 28 11:28:02 2018 +0100
@@ -350,8 +350,8 @@
   /* fonts */
 
   def fonts_url(): String => String =
-    (for (font <- Isabelle_System.fonts(html = true))
-     yield (font.base_name -> Url.print_file(font.file))).toMap
+    (for (path <- Isabelle_Fonts.files(html = true))
+     yield (path.base_name -> Url.print_file(path.file))).toMap
 
   def fonts_dir(prefix: String)(ttf_name: String): String =
     prefix + "/" + ttf_name
isabelle