Isabelle2022-v1.2.1
Dacit
released this
20 Jan 18:46
·
13 commits
to Isabelle2022
since this release
Bug fixes and better output.