Sun, 11 Oct 2020 17:42:32 +0200 | wenzelm | tuned whitespace; | changeset | files |
Sun, 11 Oct 2020 17:17:19 +0200 | wenzelm | more robust: ignore existing gmp installation, but let veriT incorporate extern/gmp; | changeset | files |
Sun, 11 Oct 2020 14:01:32 +0200 | wenzelm | clarified signature; | changeset | files |