Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. misc tuning based on comments by Heiko Eißfeldt;
  2. misc tuning based on comments by Heiko Eißfeldt;
Changeset 75161:95612f330c93 by wenzelm:
misc tuning based on comments by Heiko Eißfeldt;
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Doc/System/Phabricator.thy (diff)
The file was modified src/Doc/System/Presentation.thy (diff)
The file was modified src/Doc/System/Scala.thy (diff)
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Tools/update.scala (diff)
Changeset 75160:d48998648281 by wenzelm:
misc tuning based on comments by Heiko Eißfeldt;
The file was modified src/Doc/Eisbach/Manual.thy (diff)
The file was modified src/Doc/Eisbach/Preface.thy (diff)