libisabelle 1.0.1

Minor changes

• loaded theory check now takes session qualifier into account (#72, 42b1a64)
• pull up-to-date AFP artifact (c8f7413)

libisabelle 1.0.0

Major changes

• drop pre-Isabelle2017 support (55a96af)
• add Isabelle2018 support (6d420b4)

Minor changes

• dependency bumps (6b8e385, 5ab91d6, 9292571, fbb97a3)
• tighter checks when loading resources from classpath (55a496f, #69)
• allow symlinked local storage (69b413c, #71)

Build changes

• tests are automatically run with the latest supported Isabelle version (52e1c85)
• package sizes trimmed (d4087ed, fixed in 27a2c85)
• fix cross-publishing (#68, 803410d)
• future: support for further release candidates of Isabelle2018 will be added to this release; pide-package cannot be updated however
• no more multi-isabelle dependency (84b4f18, #70)

libisabelle 1.0.0-RC3

Major changes (since 0.9.3)

• drop pre-Isabelle2017 support (55a96af)
• add Isabelle2018-RC2 support (a36e9d7)

Minor changes (since 0.9.3)

• dependency bumps (6b8e385, 5ab91d6, 9292571, fbb97a3)
• tighter checks when loading resources from classpath (55a496f, #69)
• allow symlinked local storage (69b413c, #71)

Build changes (since 0.9.3)

• tests are automatically run with the latest supported Isabelle version (52e1c85)
• package sizes trimmed (d4087ed, fixed in 27a2c85)
• fix cross-publishing (#68, 803410d)
• future: support for further release candidates of Isabelle2018 will be added to this release; pide-package cannot be updated however
• no more multi-isabelle dependency (84b4f18, #70)

libisabelle 1.0.0-RC2

Major changes (since 0.9.3)

• drop pre-Isabelle2017 support (55a96af)
• add Isabelle2018-RC0 support (c3b38b2)

Minor changes (since 0.9.3)

• dependency bumps (6b8e385, 5ab91d6, 9292571)

Build changes (since 0.9.3)

• tests are automatically run with the latest supported Isabelle version (52e1c85)
• package sizes trimmed (d4087ed, fixed in 27a2c85)
• fix cross-publishing (#68, 803410d)
• future: support for further release candidates of Isabelle2018 will be added to this release; pide-package cannot be updated however

libisabelle 1.0.0-RC1

There is a critical bug in this release candidate, please use a later version.

---

Major changes

• drop pre-Isabelle2017 support (55a96af)
• add Isabelle2018-RC0 support (c3b38b2)

Minor changes

• dependency bumps (6b8e385, 5ab91d6, 9292571)

Build changes

• tests are automatically run with the latest supported Isabelle version (52e1c85)
• package sizes trimmed (d4087ed)
• future: support for further release candidates of Isabelle2018 will be added to this release; pide-package cannot be updated however

libisabelle 0.9.3

Major changes

• JDK 9 compatibility (998fa7d)
• CLI: 2017 is default version (c7e86c5)
• Jython support (a1a8e4a, a4075d6)

Minor changes

• CLI: better propagation of error messages from Isabelle (19d89a4)
• dependency bumps (a87fe8a, 646dac2)
• tighter checks to avoid ClassLoader problems (4fbabdc)
• CLI: option to print unfiltered prover output (1268a72)
• more reliable cleanup of etc/components (#66, #67)

libisabelle 0.9.2

Major changes

• switched to Apache license (7e1c65f, #64)
• Isabelle2017 support (f2aa7cc)

Minor changes

• dependency bumps (526a015, f8e2c76)

libisabelle 0.9.1

Minor changes

• bumped dependencies (251f281)
• always fall back to generic environment if environment couldn't be instantiated, e.g. when using an unsupported Isabelle version (3f6bbe7)

Build changes

• build uses sbt 1.0 now (3615a21, 8281bb5)
• set isabelleVersions correctly from ISABELLE_VERSION environment variable (5919d09, #62)

libisabelle 0.9.0

Major changes

• better support for development copies of Isabelle (6deeb43, f968f73, 3fe1a8f)
• creating an Environment allows setting options (6809b01, 42d353c)
• dependency updates (ba26cf5, 0874d52, bc33287, bc33287)
  • dropped support for Scala 2.10 (c35e9e5)
    • enabled support for Scala tools (95b4ee3, ca6964b)
• offline mode that doesn't download anything (b6ed8fd)

Minor changes

• CLI exec command does not ignore non-zero exit code (8d0ed52)
• local storage path of Platforms can be overriden (0ced7bb)

libisabelle 0.8.3

Minor changes

• prefer Main setup over Pure setup (#61, eaafee2, thanks to @dominique-unruh)