Summary
- avoid lxbroy7, which is presently inaccessible, but retain its build history in db queries;
- slightly faster than Poly/ML 5.7.1 library implementation, notably on 32bit multicore (amending 2288cc39b038)
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/General/integer.ML (diff) |