Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified import of loaded theory;
  2. decomposed tuple
  3. tuned
  4. clarified message
  5. tuned signature;
  6. discontinued obsolete print mode;
Changeset 66025:96f86c613a9f by wenzelm:
clarified import of loaded theory;
The file was modified src/Pure/Tools/imports.scala (diff)
Changeset 66024:77d9334830ec by haftmann:
decomposed tuple
The file was modified src/Pure/Isar/code.ML (diff)
Changeset 66023:22ef720a92b0 by haftmann:
tuned
The file was modified src/Pure/Isar/code.ML (diff)
Changeset 66022:cc8e9289a6c4 by haftmann:
clarified message
The file was modified src/Pure/Isar/code.ML (diff)
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)