src/Pure/General/bytes.scala
Thu, 07 Aug 2025 12:35:37 +0200 wenzelm tuned;
Wed, 12 Feb 2025 00:40:57 +0100 wenzelm removed unused imports;
Fri, 05 Jul 2024 13:46:13 +0200 wenzelm tuned signature: expose internal limits for testing or add-on implementations;
Fri, 05 Jul 2024 13:41:01 +0200 wenzelm tuned;
Fri, 05 Jul 2024 13:38:35 +0200 wenzelm tuned;
Fri, 05 Jul 2024 13:36:49 +0200 wenzelm tuned;
Fri, 05 Jul 2024 12:53:45 +0200 wenzelm clarified signature;
Fri, 05 Jul 2024 11:38:21 +0200 wenzelm prefer official UTF-8 decoding (in contrast to 2541de190d92): this is also more efficient (factor 10-20);
Thu, 04 Jul 2024 19:16:12 +0200 wenzelm tuned comments;
Wed, 03 Jul 2024 21:11:53 +0200 wenzelm clarified signature, following 43323d886ea3;
Wed, 03 Jul 2024 20:59:30 +0200 wenzelm clarified signature: more direct operation;
Wed, 03 Jul 2024 20:35:10 +0200 wenzelm clarified signature: more direct Bytes.raw and subsequent UTF-8 default decoding;
Wed, 03 Jul 2024 20:18:36 +0200 wenzelm clarified signature;
Wed, 03 Jul 2024 10:07:39 +0200 wenzelm tuned signature;
Tue, 02 Jul 2024 23:13:35 +0200 wenzelm clarified YXML.Source: more direct support for String and Bytes, instead of CharSequence;
Tue, 02 Jul 2024 22:38:00 +0200 wenzelm more specialized operations;
less more (0) -100 -16 tip