| Mon, 14 Apr 2025 20:19:05 +0200 | haftmann | tuned | changeset | files |
| Mon, 14 Apr 2025 20:19:05 +0200 | haftmann | tuned | changeset | files |
| Mon, 14 Apr 2025 20:19:05 +0200 | haftmann | revamped generation of functions | changeset | files |
| Mon, 14 Apr 2025 20:19:05 +0200 | haftmann | NEWS | changeset | files |
| Mon, 14 Apr 2025 20:19:05 +0200 | haftmann | typo | changeset | files |
| Mon, 14 Apr 2025 13:57:48 +0200 | desharna | tuned | changeset | files |
| Sun, 13 Apr 2025 23:01:03 +0100 | paulson | merged | changeset | files |
| Sun, 13 Apr 2025 23:00:55 +0100 | paulson | Tidied some proofs | changeset | files |
| Sun, 13 Apr 2025 20:21:57 +0200 | wenzelm | merged | changeset | files |
| Sun, 13 Apr 2025 12:29:31 +0200 | wenzelm | clarified signature: more uniform; | changeset | files |
| Sun, 13 Apr 2025 12:26:30 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 13 Apr 2025 12:23:48 +0200 | wenzelm | more accurate MinGW path conversion: support locations outside of mingw.root; | changeset | files |
| Sat, 12 Apr 2025 22:10:57 +0200 | wenzelm | tuned messages; | changeset | files |
| Sat, 12 Apr 2025 19:22:43 +0200 | wenzelm | tuned; | changeset | files |
| 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 |
| Fri, 11 Apr 2025 22:17:06 +0100 | paulson | more tidying and simplifying | changeset | files |
| Fri, 11 Apr 2025 21:57:03 +0100 | paulson | merged | changeset | files |
| Fri, 11 Apr 2025 21:56:56 +0100 | paulson | tidying some old proofs | changeset | files |
| Fri, 11 Apr 2025 16:24:04 +0100 | paulson | Generalised a lemma and added another | changeset | files |