Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. avoid lxbroy7, which is presently inaccessible, but retain its build history in db queries;
  2. slightly faster than Poly/ML 5.7.1 library implementation, notably on 32bit multicore (amending 2288cc39b038)
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)