| Sat, 04 Nov 2017 12:25:09 +0100 | wenzelm | more portable print_time, notably for occasional negative (!) elapsed time of theory_timing; | changeset | files |
| Sat, 04 Nov 2017 11:42:08 +0100 | wenzelm | polyml-test version based on experimental branch NewTestRegisterSave; | changeset | files |
| 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 |
| Fri, 03 Nov 2017 17:27:00 +0100 | wenzelm | plain identify job for Isabelle + AFP, independent of any Isabelle technology; | changeset | files |