diff -r b219774a71ae -r 2cd23d587db9 src/Pure/System/scala.scala
--- a/src/Pure/System/scala.scala	Wed Mar 31 22:10:56 2021 +0200
+++ b/src/Pure/System/scala.scala	Wed Mar 31 22:58:17 2021 +0200
@@ -259,6 +259,7 @@
   Isabelle_System.Copy_File_Base,
   Isabelle_System.Rm_Tree,
   Isabelle_System.Download,
+  Isabelle_System.Isabelle_Id,
   Isabelle_Tool.Isabelle_Tools,
   isabelle.atp.SystemOnTPTP.List_Systems,
   isabelle.atp.SystemOnTPTP.Run_System)