Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. proper option (amending cc0b3e177b49);
  2. removed junk;
  3. updated to polyml-5.8-20190306;
  4. afford redundant whitespace for improved readability;
Changeset 69873:6ebe97815275 by wenzelm:
proper option (amending cc0b3e177b49);
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Tools/build_docker.scala (diff)
Changeset 69872:bb16c0bb7520 by wenzelm:
removed junk;
The file was modified src/HOL/Library/Order_Continuity.thy (diff)
Changeset 69871:02e0458d342f by wenzelm:
updated to polyml-5.8-20190306;
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 69870:0af6b4a5a7d9 by wenzelm:
afford redundant whitespace for improved readability;
The file was modified src/Pure/General/rdf.scala (diff)