Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. clarified magic values (see also java/io/BufferedInputStream.java);
  2. clarified stream operations; added XZ data compression;
  3. tuned signature;
  4. clarified modules; afford explicit string composition in terminate_lines;
  5. more general read_stream: return actual byte count;
  6. clarified modules;
Changeset 64005:f6e965cf1617 by wenzelm:
clarified magic values (see also java/io/BufferedInputStream.java);
The file was modified src/Pure/General/bytes.scala (diff)
Changeset 64004:b4ece7a3f2ca by wenzelm:
clarified stream operations;<br>added XZ data compression;
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)
Changeset 64003:73af1d36aeff by wenzelm:
tuned signature;
The file was modified src/Pure/General/file.scala (diff)
Changeset 64002:08f89f0e8a62 by wenzelm:
clarified modules;<br>afford explicit string composition in terminate_lines;
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)
Changeset 64001:7ecb22be8f03 by wenzelm:
more general read_stream: return actual byte count;
The file was modified src/Pure/General/bytes.scala (diff)
Changeset 64000:445b3deced8f by wenzelm:
clarified modules;
The file was addedsrc/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 removedsrc/Pure/General/xz_file.scala