Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. afford approx. 10MB for curl, e.g. required for "isabelle components";
  2. updated to jvm-1.8;
  3. uniform use of ISABELLE_SCALAC_OPTIONS for scalac, notably for -Xmax-classfile-name on encrypted or docker file-systems;
  4. clarified settings;
  5. clarified signature: packages may be accessed in Isabelle/Scala;
  6. tuned whitespace;
  7. clarified packages (for z3);
  8. proper tag syntax;
  9. clarified packages; tuned message;
  10. clarified packages;
  11. more options;
Changeset 64903:ba72a13eb78c by wenzelm:
afford approx. 10MB for curl, e.g. required for "isabelle components";
The file was modified src/Pure/Admin/build_docker.scala (diff)
Changeset 64902:312aa8b92ea2 by wenzelm:
updated to jvm-1.8;
The file was modified etc/settings (diff)
Changeset 64901:18e6f83e4a09 by wenzelm:
uniform use of ISABELLE_SCALAC_OPTIONS for scalac, notably for -Xmax-classfile-name on encrypted or docker file-systems;
The file was modified src/HOL/Library/code_test.ML (diff)
The file was modified src/Tools/Code/code_scala.ML (diff)
Changeset 64900:3687036107cd by wenzelm:
clarified settings;
The file was modified NEWS (diff)
The file was modified etc/settings (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
Changeset 64899:749d3a86c6a3 by wenzelm:
clarified signature: packages may be accessed in Isabelle/Scala;
The file was modified src/Pure/Admin/build_docker.scala (diff)
Changeset 64898:49aa13b1b592 by wenzelm:
tuned whitespace;
The file was modified NEWS (diff)
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)