Fri, 03 Nov 2017 22:36:32 +0100 | wenzelm | support for libgmp on x86_64-darwin; | changeset | files |
Fri, 03 Nov 2017 19:20:47 +0100 | wenzelm | avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0; | changeset | files |
Fri, 03 Nov 2017 19:16:41 +0100 | wenzelm | delegate boundary cases to existing IntInf.pow; | changeset | files |