Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned
  2. merged
  3. unused -- avoid illegal access in Java 11;
  4. misc tuning and modernization;
  5. merged
  6. merged
  7. cosmetic change to mvt
  8. shuffle -> shuffles
  9. shuffle -> shuffles
Changeset 69115:919a1b23c192 by nipkow:
tuned
The file was modified src/HOL/Library/Tree.thy (diff)
Changeset 69114:163626ddaa19 by wenzelm:
merged
Changeset 69113:0012f3a08f42 by wenzelm:
unused -- avoid illegal access in Java 11;
The file was modified src/Pure/GUI/gui.scala (diff)
Changeset 69112:5b749aa452c6 by wenzelm:
misc tuning and modernization;
The file was modified src/Pure/System/platform.scala (diff)
Changeset 69111:a3efc22181a8 by paulson:
merged
Changeset 69110:697789794af1 by paulson:
merged
Changeset 69109:c9ea9290880f by paulson _lp15@cam.ac.uk_:
cosmetic change to mvt
The file was modified src/HOL/Deriv.thy (diff)
Changeset 69108:e2780bb26395 by nipkow:
shuffle -> shuffles
The file was modified src/Doc/Main/Main_Doc.thy (diff)
Changeset 69107:c2de7a5c8de9 by nipkow:
shuffle -> shuffles
The file was modified src/HOL/Binomial.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Probability/Random_Permutations.thy (diff)