Skip to content

improved fast isabelle with blocking of all inputs except A

9e93982
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

improved fast isabelle with blocking of all inputs except A #216

improved fast isabelle with blocking of all inputs except A
9e93982
Select commit
Loading
Failed to load commit list.
build
succeeded Dec 24, 2025 in 1m 5s