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);
less more (0) -100 -30 -10 -8 tip