| Sun, 10 Feb 2019 18:04:48 +0100 | wenzelm | auto-hinting of original DejaVu fonts, but not Isabelle symbols; | changeset | files |
| Fri, 08 Feb 2019 14:42:28 +0100 | wenzelm | tuned signature: proper exports; | changeset | files |
| Fri, 08 Feb 2019 14:06:20 +0100 | wenzelm | more Haskell operations; | changeset | files |
| Mon, 04 Feb 2019 19:05:52 +0100 | Manuel Eberl | Resolved codegen problem with uniformity for formal Laurent series | changeset | files |
| Mon, 04 Feb 2019 17:19:04 +0100 | Manuel Eberl | Formal Laurent series and overhaul of Formal power series (due to Jeremy Sylvestre) | changeset | files |
| Mon, 04 Feb 2019 15:39:37 +0100 | Manuel Eberl | Exponentiation by squaring, fast modular exponentiation | changeset | files |
| Mon, 04 Feb 2019 16:01:44 +0100 | wenzelm | more thorough File.set_executable, notably for Windows; | changeset | files |