Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. instantiation char :: full_exhaustive by Andreas Lochbihler
  3. avoid lxbroy7, which is presently inaccessible, but retain its build history in db queries;
  4. slightly faster than Poly/ML 5.7.1 library implementation, notably on 32bit multicore (amending 2288cc39b038)
  5. merged
  6. merged
  7. tuned
  8. removed pointless user_home: no measurable impact;
Changeset 67077:8fa951baba0d by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 67076:fc877448602e by lars hupel _lars.hupel@mytum.de_:
instantiation char :: full_exhaustive by Andreas Lochbihler
The file was modified src/HOL/Quickcheck_Exhaustive.thy (diff)
Changeset 67075:eada9bd5fff2 by wenzelm:
avoid lxbroy7, which is presently inaccessible, but retain its build history in db queries;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 67074:5da20135f560 by wenzelm:
slightly faster than Poly/ML 5.7.1 library implementation, notably on 32bit multicore (amending 2288cc39b038)
The file was modified src/Pure/General/integer.ML (diff)
Changeset 67073:74bd55f1206d by nipkow:
merged
Changeset 67072:b5c1f0c76d35 by nipkow:
merged
Changeset 67071:a462583f0a37 by nipkow:
tuned
The file was modified src/HOL/IMP/Big_Step.thy (diff)
Changeset 67070:85e6c1ff5be3 by wenzelm:
removed pointless user_home: no measurable impact;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)