src/Pure/General/xz.ML

inline markup for Output.state (in contrast to c94bba7906d2): make messages available via Rendering.text_messages and thus "isabelle log" (see cb0c407fbc6e), while Rendering.output_messages of Isabelle/jEdit/VSCode is unaffected;

(*  Title:      Pure/System/xz.ML
    Author:     Makarius

Support for XZ compression (via Isabelle/Scala).
*)

signature XZ =
sig
  val compress: Bytes.T -> Bytes.T
  val uncompress: Bytes.T -> Bytes.T
end;

structure XZ: XZ =
struct

val compress = \<^scala>\<open>XZ.compress\<close>;
val uncompress = \<^scala>\<open>XZ.uncompress\<close>;

end;