| 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 |
| Mon, 04 Feb 2019 15:45:40 +0100 | wenzelm | added executable flag for exports; | changeset | files |