| Sat, 12 Apr 2025 19:14:54 +0200 | wenzelm | more uniform directory structure: Windows DLLs are treated like binaries; | changeset | files |
| Sat, 12 Apr 2025 19:05:31 +0200 | wenzelm | tuned messages; | changeset | files |
| Sat, 12 Apr 2025 17:24:09 +0200 | wenzelm | more uniform make_polyml_gmp vs. make_polyml; | changeset | files |
| Sat, 12 Apr 2025 17:12:51 +0200 | wenzelm | clarified options: explicit use of existing GMP library; | changeset | files |
| Sat, 12 Apr 2025 16:00:56 +0200 | wenzelm | clarified default options: prefer GMP from source; | changeset | files |
| Sat, 12 Apr 2025 22:42:32 +0100 | paulson | Tidied more messy old proofs | changeset | files |