Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. proper SHA1 digest as annex to heap file: Poly/ML reads precise segment length;
  2. more operations;
  3. tuned signature;
Changeset 62704:478b49f0d726 by wenzelm:
proper SHA1 digest as annex to heap file: Poly/ML reads precise segment length;
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/General/sha1.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 62703:01b71da798dd by wenzelm:
more operations;
The file was modified src/Pure/General/file.scala (diff)
Changeset 62702:e29f47e04180 by wenzelm:
tuned signature;
The file was modified src/Pure/General/sha1.ML (diff)
The file was modified src/Pure/General/sha1.scala (diff)