src/Pure/General/bytes.scala
Mon, 07 May 2018 23:08:22 +0200 wenzelm more operations;
Mon, 07 May 2018 19:40:55 +0200 wenzelm return exports as result for Isabelle server;
Sun, 06 May 2018 23:30:34 +0200 wenzelm more operations;
Sat, 05 May 2018 21:44:18 +0200 wenzelm hexadecimal representation of byte string;
Fri, 20 Apr 2018 22:17:42 +0200 wenzelm support for XZ.Cache;
Sat, 10 Mar 2018 11:55:54 +0100 wenzelm more uniform Bytes.read_line/read_block operations;
Sat, 29 Apr 2017 10:50:48 +0200 wenzelm more operations;
Thu, 16 Mar 2017 23:26:16 +0100 wenzelm clarified signature (again, see also 3ed43cfc8b14);
Tue, 28 Feb 2017 17:51:49 +0100 wenzelm more operations;
Mon, 24 Oct 2016 12:16:12 +0200 wenzelm discontinued unused / untested distinction of separate PIDE modules;
Sat, 15 Oct 2016 20:47:31 +0200 wenzelm more operations;
Sat, 15 Oct 2016 15:23:06 +0200 wenzelm clarified treatment of non-text bytes;
Mon, 03 Oct 2016 12:39:03 +0200 wenzelm clarified magic values (see also java/io/BufferedInputStream.java);
Mon, 03 Oct 2016 12:28:36 +0200 wenzelm clarified stream operations;
Mon, 03 Oct 2016 10:49:27 +0200 wenzelm more general read_stream: return actual byte count;
Sun, 04 Sep 2016 17:38:22 +0200 wenzelm more operations;
Sun, 06 Mar 2016 11:59:35 +0100 wenzelm tuned signature;
Thu, 30 Jul 2015 11:32:58 +0200 wenzelm provide CharSequence operations as well;
Thu, 20 Feb 2014 14:36:17 +0100 wenzelm tuned imports;
Mon, 18 Nov 2013 22:06:08 +0100 wenzelm persistent value;
Sat, 16 Nov 2013 12:41:16 +0100 wenzelm prefer UTF8.decode_permissive;
Fri, 15 Nov 2013 19:31:10 +0100 wenzelm more specific Protocol_Output: empty message.body, main content via bytes/text;
Thu, 14 Nov 2013 17:17:57 +0100 wenzelm tuned signature;
Thu, 14 Nov 2013 16:55:32 +0100 wenzelm immutable byte vectors versus UTF8 strings;
less more (0) tip