src/Pure/Thy/present.scala

--- a/src/Pure/Thy/present.scala	Wed Nov 28 13:59:29 2018 +0100
+++ b/src/Pure/Thy/present.scala	Wed Nov 28 14:00:22 2018 +0100
@@ -96,8 +96,8 @@
 
       HTML.write_isabelle_css(session_prefix)
 
-      for (path <- Isabelle_Fonts.files(html = true))
-        File.copy(path, session_fonts)
+      for (entry <- Isabelle_Fonts.fonts(html = true))
+        File.copy(entry.path, session_fonts)
     }
   }