Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326);
  2. clarified vacuous selection vs. Pure;
  3. tuned signature;
Changeset 71160:625df1eb7873 by wenzelm:
updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326);
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
Changeset 71159:6b03ce9b02c7 by wenzelm:
clarified vacuous selection vs. Pure;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 71158:1c58a01a372e by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/dump.scala (diff)