Summary
- tuned signature;
- no Output.information by default, e.g. "isabelle console", "isabelle build";
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) |
The file was modified | src/Pure/General/output.ML (diff) |