Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. read prefs properly;
  2. allow explicit Isabelle rev in build task (e.g., for older Isabelle versions);
Changeset 80251:6ae378791c52 by fabian huch _huch@in.tum.de_:
read prefs properly;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80250:8ae6f4e8cc2a by fabian huch _huch@in.tum.de_:
allow explicit Isabelle rev in build task (e.g., for older Isabelle versions);
The file was modified src/Pure/Build/build_manager.scala