Isabelle2024-v1.0.1

Release for Isabelle2024 with more concise output.

Isabelle2024-v1.0.0

Release for Isabelle2024.

Isabelle2023-v1.0.0

Release for Isabelle2023.

Isabelle2022-v1.2.1

Bug fixes and better output.

Isabelle2022-v1.2.0

Severity levels got completely re-worked:

• info was dropped (not visible enough)
• warn should be the right level for most lints - the error styling is only for actual errors (soundness problems, or things that are now allowed in a project).
• severity levels are now independent from lints, so they can be configured by users (pre-configured by lint bundles).

Isabelle2022-v1.1.1

Minor Fixes:

• imported theories from other sessions linted
• short name lint on wrong tokens

Isabelle2022-v1.1.0

Small updates:

• lint improvements
• added CLI option to fail on lints above specified level
• fix ancestor theories linted
• fix parsing for strange informal comments

Isabelle2022-v1.0.0

First release for Isabelle2022.

Isabelle2021-1-v1.0.0

First stable release, for Isabelle2021-1.

To install, download and extract the source archive and follow the setup instructions.

Isabelle2021 Pre-Release

Backwards pre-release for Isabelle2021 with Isabelle2021-1-RC0 /Scala and Isabelle2021 /ML, /Isar.

This patched pre-release should be considered unstable.