| Fri, 10 Jan 2025 15:11:56 +0000 | paulson | Correction to pretty printing for set intervals, allowing a line break if necessary for a large expression | changeset | files |
| Thu, 09 Jan 2025 13:18:37 +0100 | Lukas Bartl | tuned documentation and order of instantiated facts | changeset | files |
| Thu, 09 Jan 2025 23:06:17 +0100 | wenzelm | merged | changeset | files |
| Thu, 09 Jan 2025 14:53:05 +0100 | wenzelm | update cygwin near 3.5.5-1, see also https://cygwin.com/pipermail/cygwin-announce/2024-December/012023.html | changeset | files |
| Thu, 09 Jan 2025 08:33:11 +0100 | haftmann | direct symbolic implementations of and, or, xor on integer | changeset | files |
| Thu, 09 Jan 2025 10:13:05 +0100 | haftmann | corrected | changeset | files |