| Sun, 03 Aug 2025 20:34:24 +0100 | paulson | New lemmas about improper integrals and other things | changeset | files |
| Fri, 01 Aug 2025 20:01:55 +0200 | haftmann | prefer sign-agnostic conversion following bit structure | changeset | files |
| Fri, 01 Aug 2025 12:16:43 +0200 | desharna | tuned for readability and got small performance improvement | changeset | files |
| Thu, 31 Jul 2025 19:13:00 +0200 | haftmann | bring some code equations into natural order | changeset | files |
| Sun, 27 Jul 2025 17:52:06 +0200 | haftmann | added missing colon | changeset | files |
| Sun, 27 Jul 2025 16:46:34 +0200 | wenzelm | clarified signature; | changeset | files |
| Sun, 27 Jul 2025 16:41:25 +0200 | wenzelm | clarified signature; | changeset | files |