Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle");
  2. tuned message, e.g. for Pure bootstrap;
  3. proper signature export (amending b50f8cc8c08e);
  4. syslog option for "isabelle build";
Changeset 73777:52e43a93d51f by wenzelm:
clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle");
The file was modified NEWS (diff)
The file was modified etc/options (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/General/logger.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 73776:9f205ca4178a by wenzelm:
tuned message, e.g. for Pure bootstrap;
The file was modified src/Pure/PIDE/session.ML (diff)
Changeset 73775:6bd747b71bd3 by wenzelm:
proper signature export (amending b50f8cc8c08e);
The file was modified src/Pure/System/isabelle_system.ML (diff)
Changeset 73774:734d5d3fbd9d by wenzelm:
syslog option for "isabelle build";
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)