Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned theory structure
  2. more robust: size varies due to different position information in "isabelle build" vs. "isabelle dump";
  3. clarified signature;
  4. tuned proofs;
  5. clarified error: tmp file can be invalid in odd situations;
  6. more robust: file length can be invalid in odd situations;
  7. tuned;
Changeset 71157:8bdf3c36011c by haftmann:
tuned theory structure
The file was modified src/HOL/Euclidean_Division.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
Changeset 71156:1299c8c91ed5 by wenzelm:
more robust: size varies due to different position information in "isabelle build" vs. "isabelle dump";
The file was modified src/HOL/Proofs/ex/XML_Data.thy (diff)
Changeset 71155:25b872d1d421 by wenzelm:
clarified signature;
The file was modified src/Pure/pure_thy.ML (diff)
The file was modified src/Pure/sign.ML (diff)
The file was modified src/Pure/theory.ML (diff)
Changeset 71154:7db80bd16f1c by wenzelm:
tuned proofs;
The file was modified src/HOL/Enum.thy (diff)
Changeset 71153:8563046f15c3 by wenzelm:
clarified error: tmp file can be invalid in odd situations;
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71152:f2d848a596d1 by wenzelm:
more robust: file length can be invalid in odd situations;
The file was modified src/Pure/General/bytes.scala (diff)
Changeset 71151:69a22ccd1817 by wenzelm:
tuned;
The file was modified src/Pure/General/bytes.scala (diff)