changeset 80503 | d59cc10a6888 |
parent 80494 | d1240adc30ce |
child 80508 | 8585399f26f6 |
--- a/src/Pure/General/bytes.scala Wed Jul 03 21:54:17 2024 +0200 +++ b/src/Pure/General/bytes.scala Thu Jul 04 19:16:12 2024 +0200 @@ -1,7 +1,7 @@ /* Title: Pure/General/bytes.scala Author: Makarius -Immutable byte vectors versus UTF8 strings. +Scalable byte strings, with incremental construction (via Builder). */ package isabelle