Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated windows_app to launch4j 3.12: "fully supports Java 9 and newer";
  2. explicit group "no_doc" for unfinished documentation, allows to suppress everything uniformly: -X doc -X no_doc;
  3. reduce tracing messages to make it work in PIDE session;
  4. unbounded tracing for proper termination, e.g. relevant for theory Sequents.Hard_Quantifiers;
Changeset 69106:742c88258cf8 by wenzelm:
updated windows_app to launch4j 3.12: "fully supports Java 9 and newer";
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
Changeset 69105:b7274dfbf4b3 by wenzelm:
explicit group "no_doc" for unfinished documentation, allows to suppress everything uniformly: -X doc -X no_doc;
The file was modified src/Doc/ROOT (diff)
Changeset 69104:f33352dbbf12 by wenzelm:
reduce tracing messages to make it work in PIDE session;
The file was modified src/Sequents/LK/Hard_Quantifiers.thy (diff)
Changeset 69103:814a1ab42d70 by wenzelm:
unbounded tracing for proper termination, e.g. relevant for theory Sequents.Hard_Quantifiers;
The file was modified etc/options (diff)
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/Tools/dump.scala (diff)