Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified packages (for z3);
  2. proper tag syntax;
  3. clarified packages; tuned message;
  4. clarified packages;
  5. more options;
Changeset 64897:c3320dc731c7 by wenzelm:
clarified packages (for z3);
The file was modified src/Pure/Admin/build_docker.scala (diff)
Changeset 64896:6d709a78e269 by wenzelm:
proper tag syntax;
The file was modified src/Pure/Admin/build_docker.scala (diff)
Changeset 64895:ad3b66e7a028 by wenzelm:
clarified packages;<br>tuned message;
The file was modified src/Pure/Admin/build_docker.scala (diff)
Changeset 64894:6c6bb62702d4 by wenzelm:
clarified packages;
The file was modified src/Pure/Admin/build_docker.scala (diff)
Changeset 64893:07a93485d22b by wenzelm:
more options;
The file was modified src/Pure/Admin/build_docker.scala (diff)