--- a/src/Pure/System/isabelle_system.ML Sat Jun 25 10:27:42 2022 +0200
+++ b/src/Pure/System/isabelle_system.ML Sat Jun 25 13:19:15 2022 +0200
@@ -22,10 +22,6 @@
val with_tmp_dir: string -> (Path.T -> 'a) -> 'a
val download: string -> Bytes.T
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
@@ -163,18 +159,6 @@
fun download_file url path = Bytes.write path (download url);
-(* base64 *)
-
-val decode_base64 = Scala.function1_bytes "decode_base64";
-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" "";