Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified dock icon: setup earlier on startup;
  2. clarified NEWS;
  3. dropped junk
Changeset 73095:d08cbc36a99a by wenzelm:
clarified dock icon: setup earlier on startup;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/GUI/gui.scala (diff)
The file was modified src/Pure/Tools/main.scala (diff)
Changeset 73094:86a18742e5b2 by wenzelm:
clarified NEWS;
The file was modified NEWS (diff)
Changeset 73093:dc62ecc7e59a by haftmann:
dropped junk
The file was removedsrc/HOL/Word/Bits_Int.thy
The file was removedsrc/HOL/Word/Traditional_Syntax.thy