--- a/src/Pure/System/scala.scala Mon Apr 12 22:45:38 2021 +0200
+++ b/src/Pure/System/scala.scala Mon Apr 12 22:57:39 2021 +0200
@@ -267,6 +267,8 @@
Scala.Echo,
Scala.Sleep,
Scala.Toplevel,
+ Bytes.Decode_Base64,
+ Bytes.Encode_Base64,
Doc.Doc_Names,
Bash.Process,
Bibtex.Check_Database,