Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned whitespace;
  2. clarified meta_digest;
  3. tuned;
  4. added isablle build option -f;
Changeset 66844:0746d4781674 by wenzelm:
tuned whitespace;
The file was modified NEWS (diff)
Changeset 66843:be08a7691c62 by wenzelm:
clarified meta_digest;
The file was modified NEWS (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 66842:7ded55dd2a55 by wenzelm:
tuned;
The file was modified src/HOL/ROOT (diff)
Changeset 66841:5c32a072ca8b by wenzelm:
added isablle build option -f;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Tools/build.scala (diff)