--- a/src/Pure/System/scala.scala Sun Feb 07 15:32:57 2021 +0100
+++ b/src/Pure/System/scala.scala Sun Feb 07 16:31:43 2021 +0100
@@ -243,5 +243,6 @@
Scala.Sleep,
Scala.Toplevel,
Doc.Doc_Names,
+ Bash.Process,
Bibtex.Check_Database,
Isabelle_Tool.Isabelle_Tools)