Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned
  3. root_val -> value
  4. uniform naming
  5. tagged 5 theories
  6. updated tagging first 5
  7. more favorites;
  8. clarified message;
Changeset 69657:48bf42e7c73b by nipkow:
merged
Changeset 69656:dbffe5f52ec2 by nipkow:
tuned
The file was modified src/HOL/Analysis/Tagged_Division.thy (diff)
Changeset 69655:2b56cbb02e8a by nipkow:
root_val -> value
The file was modified src/HOL/Data_Structures/Array_Braun.thy (diff)
The file was modified src/HOL/Library/Tree.thy (diff)
The file was modified src/HOL/Probability/Tree_Space.thy (diff)
Changeset 69654:bc758f4f09e5 by nipkow:
uniform naming
The file was modified src/HOL/Analysis/Nonnegative_Lebesgue_Integration.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Hoare_Parallel/OG_Examples.thy (diff)
The file was modified src/HOL/Library/FSet.thy (diff)
The file was modified src/HOL/Number_Theory/Gauss.thy (diff)
The file was modified src/HOL/Probability/Information.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 69653:6b8d78186947 by angeliki koutsoukouargyraki _ak2110@cam.ac.uk_:
tagged 5 theories
Changeset 69652:3417a8f154eb by angeliki koutsoukouargyraki _ak2110@cam.ac.uk_:
updated tagging first 5
The file was modified src/HOL/Analysis/Arcwise_Connected.thy (diff)
The file was modified src/HOL/Analysis/Binary_Product_Measure.thy (diff)
The file was modified src/HOL/Analysis/Bochner_Integration.thy (diff)
The file was modified src/HOL/Analysis/Borel_Space.thy (diff)
The file was modified src/HOL/Analysis/Caratheodory.thy (diff)
Changeset 69651:2dcfead8fa2e by wenzelm:
more favorites;
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 69650:c95edf19133b by wenzelm:
clarified message;
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Pure/Thy/export.ML (diff)
The file was modified src/Tools/Code/code_target.ML (diff)
The file was modified src/Tools/jEdit/src/active.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)