Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned signature;
  2. no Output.information by default, e.g. "isabelle console", "isabelle build";
Changeset 63518:ae8fd6fe63a1 by wenzelm:
tuned signature;
The file was modified src/HOL/Library/Sum_of_Squares/sos_wrapper.ML (diff)
The file was modified src/HOL/Statespace/StateSpaceEx.thy (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML (diff)
The file was modified src/HOL/Tools/try0.ML (diff)
The file was modified src/Pure/Isar/proof_context.ML (diff)
The file was modified src/Pure/PIDE/active.ML (diff)
Changeset 63517:8ea738cffabe by wenzelm:
no Output.information by default, e.g. "isabelle console", "isabelle build";
The file was modified src/Pure/General/output.ML (diff)