Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. proper ceil operation;
  2. tuned;
  3. isabelle components_checksum -u;
  4. more documentation;
  5. updated to jdk-8u92;
Changeset 63218:2cddda300fc7 by wenzelm:
proper ceil operation;
The file was modified src/Pure/General/rat.ML (diff)
Changeset 63217:20758395785a by wenzelm:
tuned;
The file was modified src/Pure/General/rat.ML (diff)
Changeset 63216:240d77628775 by wenzelm:
isabelle components_checksum -u;
The file was modified Admin/components/components.sha1 (diff)
Changeset 63215:c7de5b311909 by wenzelm:
more documentation;
The file was modified NEWS (diff)
The file was modified src/Doc/Implementation/ML.thy (diff)
Changeset 63214:7e8ef9ac3159 by wenzelm:
updated to jdk-8u92;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/java/build (diff)