Fixes for Isabelle 2023 #8
simondfosterAnnotations
2 errors
|
Build Theory
Build failed: Command '['./bin/isabelle', 'build', '-b', 'Z_Toolkit']' returned non-zero exit status 1.
|
|
Build Theory
Process completed with exit code 1.
|