Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Removed problematic rules from continuous_intros
  2. merged
  3. tuned
  4. tuned message (again);
  5. proper binding positions within the defining command transaction;
  6. smash position to avoid position of other file "~~/src/HOL/BNF_Composition.thy" (due to "bnf ID"), e.g. relevant for "HOL-Nominal-Examples.Class1";
  7. clarified message;
  8. tuned message;
  9. clarified theory progress;
Changeset 68965:1254f3e57fed by eberlm _eberlm@in.tum.de_:
Removed problematic rules from continuous_intros
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 68964:ff6b594e4230 by nipkow:
merged
Changeset 68963:ed6511997d2b by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
Changeset 68962:50676b0ab970 by wenzelm:
tuned message (again);
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 68961:22a3790eecae by wenzelm:
proper binding positions within the defining command transaction;
The file was modified src/HOL/Datatype_Examples/Compat.thy (diff)
Changeset 68960:b85d509e7cbf by wenzelm:
smash position to avoid position of other file "~~/src/HOL/BNF_Composition.thy" (due to "bnf ID"), e.g. relevant for "HOL-Nominal-Examples.Class1";
The file was modified src/HOL/Tools/BNF/bnf_comp.ML (diff)
Changeset 68959:d4223afddd47 by wenzelm:
clarified message;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 68958:9199f9da512a by wenzelm:
tuned message;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 68957:eef4e983fd9d by wenzelm:
clarified theory progress;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Tools/VSCode/src/channel.scala (diff)
The file was modified src/Tools/jEdit/src/session_build.scala (diff)