| Fri, 10 Jan 2025 18:35:46 +0100 | haftmann | more correct code generation for string literals | changeset | files |
| Fri, 10 Jan 2025 17:13:27 +0100 | nipkow | made lemma visible | changeset | files |
| Fri, 10 Jan 2025 15:48:20 +0000 | paulson | fixed a typo | changeset | files |
| 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 |