--- a/src/Pure/System/isabelle_system.ML Tue Jun 21 23:05:37 2022 +0200
+++ b/src/Pure/System/isabelle_system.ML Tue Jun 21 23:27:26 2022 +0200
@@ -24,6 +24,8 @@
val download_file: string -> Path.T -> unit
val decode_base64: Bytes.T -> Bytes.T
val encode_base64: Bytes.T -> Bytes.T
+ val compress: Bytes.T -> Bytes.T
+ val uncompress: Bytes.T -> Bytes.T
val isabelle_id: unit -> string
val isabelle_identifier: unit -> string option
val isabelle_heading: unit -> string
@@ -167,6 +169,12 @@
val encode_base64 = Scala.function1_bytes "encode_base64";
+(* XZ compression *)
+
+val compress = Scala.function1_bytes "compress";
+val uncompress = Scala.function1_bytes "uncompress";
+
+
(* Isabelle distribution identification *)
fun isabelle_id () = Scala.function1 "isabelle_id" "";