| Sun, 19 Jan 2025 18:18:07 +0000 | paulson | simplified old proofs | changeset | files |
| Fri, 17 Jan 2025 23:00:13 +0000 | paulson | merged | changeset | files |
| Fri, 17 Jan 2025 20:24:09 +0000 | paulson | merged | changeset | files |
| Fri, 17 Jan 2025 20:24:02 +0000 | paulson | A variety of tweaks | changeset | files |
| Fri, 17 Jan 2025 23:15:47 +0100 | wenzelm | avoid legacy warnings in "test_code check in OCaml"; | changeset | files |
| Fri, 17 Jan 2025 23:10:39 +0100 | wenzelm | proper condition for strict "test_code check in OCaml" and "test_code check in GHC"; | changeset | files |
| Fri, 17 Jan 2025 22:38:15 +0100 | wenzelm | more NEWS; | changeset | files |
| Fri, 17 Jan 2025 21:30:08 +0100 | wenzelm | merged | changeset | files |
| Fri, 17 Jan 2025 20:30:01 +0100 | wenzelm | misc tuning; | changeset | files |
| Fri, 17 Jan 2025 19:56:34 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 17 Jan 2025 19:46:36 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 17 Jan 2025 19:40:56 +0100 | wenzelm | clarified pattern matching; | changeset | files |
| Fri, 17 Jan 2025 19:30:26 +0100 | wenzelm | misc tuning; | changeset | files |
| Fri, 17 Jan 2025 17:01:43 +0100 | wenzelm | misc tuning and clarification; | changeset | files |