--- a/src/Pure/Tools/main.scala Sat Jan 09 19:49:22 2021 +0100 +++ b/src/Pure/Tools/main.scala Sat Jan 09 20:17:56 2021 +0100 @@ -26,7 +26,7 @@ Isabelle_System.init() Isabelle_Fonts.init() - GUI.setup_lafs() + GUI.init_lafs() /* ROOTS template */