huffman [Wed, 16 Dec 2009 14:38:35 -0800] rev 34101
declare swap_self [simp], add lemma comp_swap
wenzelm [Thu, 17 Dec 2009 20:14:00 +0100] rev 34100
fifo: raw byte stream;
Result: fully decoded symbols and tree structure;
adapted to simplified message format;
tuned;
wenzelm [Thu, 17 Dec 2009 20:09:19 +0100] rev 34099
added decode_chars, with raw character view on byte buffer and adhoc decoding via toString;
parse/chunks: avoid direct string comparison, to make it actually work with abstract CharSequence;
wenzelm [Thu, 17 Dec 2009 19:30:12 +0100] rev 34098
tuned signature;
wenzelm [Thu, 17 Dec 2009 15:38:58 +0100] rev 34097
tuned;
wenzelm [Thu, 17 Dec 2009 15:09:07 +0100] rev 34096
simplified message format: chunks with explicit size in bytes;
robust message header via YXML.binary_text;
standard_message: refer to thread position only;
discontinued obsolete "-" output stream;
tuned;
wenzelm [Thu, 17 Dec 2009 13:58:15 +0100] rev 34095
robust representation of low ASCII control characters within XML/YXML text;