We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
7b0c610
Release for Isabelle2024 with more concise output.
