Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged;
  2. tuned message;
  3. tidied some messy proofs
Changeset 65068:a2522ea43216 by wenzelm:
merged;
Changeset 65067:8bc9de2278c0 by wenzelm:
tuned message;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 65066:c64d778a593a by paulson _lp15@cam.ac.uk_:
tidied some messy proofs
The file was modified src/HOL/Number_Theory/Residues.thy (diff)