Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

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

Summary

  1. tuned whitespace;
  2. use less memory on old hardware;
  3. clarified signature;
  4. clarified log message (more uniform);
Changeset 71995:cb7ddc321f52 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Admin/isabelle_cronjob.scala
Changeset 71994:bbec0acf2592 by wenzelm:
use less memory on old hardware;
The file was modified src/Pure/Admin/isabelle_cronjob.scala
Changeset 71993:088e3aa85250 by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/isabelle_cronjob.scala
Changeset 71992:c8c3f4f0f68b by wenzelm:
clarified log message (more uniform);
The file was modified src/Pure/Admin/build_log.scala
The file was modified src/Pure/Tools/build.scala