Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. more robust, notably for isabelle_cronjob;
  2. more robust build_session protocol: allow prover process to terminate/crash without build_session_finished message;
Changeset 72006:751f371d6883 by wenzelm:
more robust, notably for isabelle_cronjob;
The file was modified src/Doc/ROOT
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