Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature;
  2. discontinued obsolete print mode;
Changeset 66021:08ab52fb9db5 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/latex.ML (diff)
The file was modified src/Pure/Thy/thy_output.ML (diff)
Changeset 66020:a31760eee09d by wenzelm:
discontinued obsolete print mode;
The file was modified src/HOL/Tools/ATP/atp_util.ML (diff)
The file was modified src/HOL/Tools/Nitpick/nitpick_model.ML (diff)
The file was modified src/HOL/Tools/Nitpick/nitpick_util.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_isar_proof.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_util.ML (diff)
The file was modified src/Pure/General/symbol.ML (diff)
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/Thy/latex.ML (diff)