Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. proper Thm.trim_context / Thm.transfer;
  2. proper position for ML-like commands;
Changeset 78036:2594319ad9ee by wenzelm:
proper Thm.trim_context / Thm.transfer;
The file was modified src/ZF/Tools/inductive_package.ML
Changeset 78035:bd5f6cee8001 by wenzelm:
proper position for ML-like commands;
The file was modified src/Pure/Isar/local_theory.ML
The file was modified src/Pure/Isar/outer_syntax.ML
The file was modified src/Pure/ML/ml_context.ML
The file was modified src/Pure/ML/ml_env.ML
The file was modified src/Pure/ML/ml_file.ML
The file was modified src/Pure/context.ML

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. adapted to Isabelle/f78cdc6fe971;
  2. adapted to Isabelle/f78cdc6fe971;
Changeset 13460:d640dcca7ba6 by wenzelm:
adapted to Isabelle/f78cdc6fe971;
The file was modified thys/Simpl/hoare_syntax.ML
Changeset 13459:1fa40be88c80 by wenzelm:
adapted to Isabelle/f78cdc6fe971;
The file was modified thys/Simpl/hoare.ML