Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. corrected priority
  3. merged
  4. formal dependency on "poly" executable;
  5. removed obsolete workaround: always use existing IntInf.pow;
  6. strip some trailing spaces to force Pure rebuild after ce6454669360
Changeset 67037:a76fb0f4b9ca by nipkow:
merged
Changeset 67036:783c901a62cb by nipkow:
corrected priority
The file was modified src/HOL/Lattices_Big.thy (diff)
Changeset 67035:8b7233175199 by wenzelm:
merged
Changeset 67034:09fb749d1a1e by wenzelm:
formal dependency on "poly" executable;
The file was modified src/Pure/Pure.thy (diff)
Changeset 67033:2288cc39b038 by wenzelm:
removed obsolete workaround: always use existing IntInf.pow;
The file was modified src/Pure/General/integer.ML (diff)
Changeset 67032:ed499d1252fc by lars hupel _lars.hupel@mytum.de_:
strip some trailing spaces to force Pure rebuild after ce6454669360
The file was modified src/Pure/Isar/code.ML (diff)