Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. proper Thm.trim_context / Thm.transfer;
  2. proper Thm.trim_context / Thm.transfer;
  3. tuned;
  4. tuned Isabelle/ML;
  5. more informative position information;
  6. tuned;
  7. more informative position information;
  8. clarified context tracing; proper finish: purge inactive entries;
  9. more operations;
  10. proper system options to control context tracing/timing;
Changeset 78027:4bb7eb16b867 by wenzelm:
proper Thm.trim_context / Thm.transfer;
The file was modified src/HOL/Tools/Lifting/lifting_info.ML
Changeset 78026:af3f1a4ba6e4 by wenzelm:
proper Thm.trim_context / Thm.transfer;
The file was modified src/HOL/Tools/SMT/z3_replay_rules.ML
Changeset 78025:51d135645d70 by wenzelm:
tuned;
The file was modified src/HOL/Tools/SMT/z3_replay_rules.ML
Changeset 78024:261b527f1b03 by wenzelm:
tuned Isabelle/ML;
The file was modified src/HOL/Tools/Lifting/lifting_info.ML
Changeset 78023:76dece8cd8a7 by wenzelm:
more informative position information;
The file was modified src/Pure/General/position.ML
The file was modified src/Pure/Isar/attrib.ML
Changeset 78022:c078a33c2dff by wenzelm:
tuned;
The file was modified src/ZF/Tools/induct_tacs.ML
Changeset 78021:ce6e3bc34343 by wenzelm:
more informative position information;
The file was modified src/Pure/Concurrent/thread_position.ML
The file was modified src/Pure/General/position.ML
The file was modified src/Pure/General/position.scala
The file was modified src/Pure/Isar/toplevel.ML
The file was modified src/Pure/ML/ml_compiler.ML
The file was modified src/Pure/PIDE/markup.ML
The file was modified src/Pure/PIDE/markup.scala
The file was modified src/Pure/Thy/thy_info.ML
The file was modified src/Tools/Haskell/Haskell.thy
Changeset 78020:1a829342a2d3 by wenzelm:
clarified context tracing;<br>proper finish: purge inactive entries;
The file was modified src/Pure/PIDE/session.ML
The file was modified src/Pure/context.ML
Changeset 78019:82b09fd28504 by wenzelm:
more operations;
The file was modified src/Pure/Concurrent/unsynchronized.ML
Changeset 78018:dfa44d85d751 by wenzelm:
proper system options to control context tracing/timing;
The file was modified etc/options
The file was modified src/Pure/System/isabelle_process.ML
The file was modified src/Pure/context.ML