changeset 75579 | 3362b6a5d697 |
parent 75444 | 331f96a67924 |
child 75586 | b2b097624e4c |
--- a/src/Pure/System/scala.scala Tue Jun 21 23:05:37 2022 +0200 +++ b/src/Pure/System/scala.scala Tue Jun 21 23:27:26 2022 +0200 @@ -309,6 +309,8 @@ Scala.Toplevel, Bytes.Decode_Base64, Bytes.Encode_Base64, + Bytes.Compress, + Bytes.Uncompress, Doc.Doc_Names, Bibtex.Check_Database, Isabelle_System.Make_Directory,