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/base64.ML
Author: Makarius
Support for Base64 data encoding (via Isabelle/Scala).
*)
signature BASE64 =
sig
val decode: Bytes.T -> Bytes.T
val encode: Bytes.T -> Bytes.T
end;
structure Base64: BASE64 =
struct
val decode = \<^scala>\<open>Base64.decode\<close>;
val encode = \<^scala>\<open>Base64.encode\<close>;
end;