diff -r 3eb3de867786 -r 25dbf5bec91e src/Pure/General/logger.scala
--- a/src/Pure/General/logger.scala	Fri Feb 03 14:29:07 2023 +0100
+++ b/src/Pure/General/logger.scala	Fri Feb 03 16:24:46 2023 +0100
@@ -33,3 +33,9 @@
 
   override def toString: String = path.toString
 }
+
+class System_Logger extends Logger {
+  def apply(msg: => String): Unit =
+    if (Platform.is_windows) System.out.println(msg)
+    else System.console.writer.println(msg)
+}