Summary
- clarified magic values (see also java/io/BufferedInputStream.java);
- clarified stream operations; added XZ data compression;
- tuned signature;
- clarified modules; afford explicit string composition in terminate_lines;
- more general read_stream: return actual byte count;
- clarified modules;
The file was modified | src/Pure/General/bytes.scala (diff) |
The file was modified | src/Pure/General/bytes.scala (diff) |
The file was modified | src/Pure/General/xz.scala (diff) |
The file was modified | src/Pure/PIDE/prover.scala (diff) |
The file was modified | src/Pure/General/file.scala (diff) |
The file was modified | src/Pure/General/file.scala (diff) |
The file was modified | src/Pure/General/xz.scala (diff) |
The file was modified | src/Pure/library.scala (diff) |
The file was modified | src/Pure/General/bytes.scala (diff) |
The file was added | src/Pure/General/xz.scala |
The file was modified | src/Pure/General/file.scala (diff) |
The file was modified | src/Pure/build-jars (diff) |
The file was removed | src/Pure/General/xz_file.scala |