Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper session Timing for build_history log file (see 5c4800f6b25a);
  2. clarified signature;
  3. more robust, notably for isabelle_cronjob;
  4. more robust build_session protocol: allow prover process to terminate/crash without build_session_finished message;
Changeset 72008:7a53fc156c2b by wenzelm:
proper session Timing for build_history log file (see 5c4800f6b25a);
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
Changeset 72007:13890356df78 by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72006:751f371d6883 by wenzelm:
more robust, notably for isabelle_cronjob;
The file was modified src/Doc/ROOT (diff)
Changeset 72005:11c46b8e91c0 by wenzelm:
more robust build_session protocol: allow prover process to terminate/crash without build_session_finished message;
The file was modified src/Pure/Tools/build.scala (diff)