src/Pure/Tools/main.scala

--- a/src/Pure/Tools/main.scala	Mon Jun 28 13:45:46 2021 +0200
+++ b/src/Pure/Tools/main.scala	Mon Jun 28 14:11:53 2021 +0200
@@ -17,13 +17,13 @@
   def main(args: Array[String]): Unit =
   {
     if (args.nonEmpty && args(0) == "-init") {
-      Isabelle_Env.init()
+      Isabelle_System.init()
     }
     else {
       val start =
       {
         try {
-          Isabelle_Env.init()
+          Isabelle_System.init()
           Isabelle_Fonts.init()
 
           GUI.init_lafs()