Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. updated for release;
  2. more usable defaults for high resolution on Linux, where the desktop environment usually lacks automatic scaling;
  3. tuned for Isabelle2020;
  4. more explicit defaults;
  5. proper transfer for Thm.derivation_name;
Changeset 71543:317e9ebbc3e1 by wenzelm:
updated for release;
The file was modified NEWS (diff)
Changeset 71542:e76692ec6e5a by wenzelm:
more usable defaults for high resolution on Linux, where the desktop environment usually lacks automatic scaling;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 71541:57c3224e4c30 by wenzelm:
tuned for Isabelle2020;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 71540:3cad8ffee92c by wenzelm:
more explicit defaults;
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 71539:c983fd846c9c by wenzelm:
proper transfer for Thm.derivation_name;
The file was modified src/Pure/thm_deps.ML (diff)