| Tue, 17 Oct 2023 11:52:52 +0200 | wenzelm | more thorough expose_interrupt: always reset "break" state, regardless of pending interrupt; | changeset | files |
| Tue, 17 Oct 2023 11:47:13 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 16 Oct 2023 21:27:56 +0200 | wenzelm | proper parallel build tasks; | changeset | files |
| Sun, 15 Oct 2023 14:59:19 +0200 | wenzelm | more Haskell tests on macOS; | changeset | files |
| Sun, 15 Oct 2023 14:22:37 +0200 | wenzelm | more NEWS; | changeset | files |
| Sun, 15 Oct 2023 13:48:08 +0200 | wenzelm | disable naproche component for now: to be updated before the next Isabelle release; | changeset | files |