Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned signature;
  2. clarified classical rules;
  3. misc tuning and updates according to Curry-Club Dec-2016;
  4. added option -n, e.g. useful to generate Dockerfile only;
  5. support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
  6. tuned -- nicer generated bash source;
Changeset 64909:8007f10195af by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_doc.scala (diff)
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 64908:f94ad67a0f6e by wenzelm:
clarified classical rules;
The file was modified src/HOL/Isar_Examples/Higher_Order_Logic.thy (diff)
Changeset 64907:354bfbb27fbb by wenzelm:
misc tuning and updates according to Curry-Club Dec-2016;
The file was modified src/HOL/Isar_Examples/Higher_Order_Logic.thy (diff)
The file was modified src/HOL/Isar_Examples/document/root.bib (diff)
Changeset 64906:49549acbf025 by wenzelm:
added option -n, e.g. useful to generate Dockerfile only;
The file was modified src/Pure/Admin/build_docker.scala (diff)
Changeset 64905:5e2eb9b14bbe by wenzelm:
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
The file was modified src/Pure/Admin/build_docker.scala (diff)
Changeset 64904:14c760e0e1cf by wenzelm:
tuned -- nicer generated bash source;
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/bash_syntax.ML (diff)