src/Pure/General/base64.scala
8 months ago wenzelm Base64: proper support for large Bytes, with subtle change of types (Bytes instead of String);
2022-06-25 wenzelm clarified modules;
less more (0) tip