Skip to content
This repository has been archived by the owner on Sep 25, 2020. It is now read-only.

libisabelle 0.9.1
Compare
Choose a tag to compare
@larsrh larsrh released this 09 Oct 09:02
· 136 commits to master since this release
v0.9.1
This tag was signed with the committer’s verified signature. The key has expired.
larsrh Lars Hupel
GPG key ID: F9FD57A03B80305D
Expired
Learn about vigilant mode.
92dd5c2
This commit was signed with the committer’s verified signature. The key has expired.
larsrh Lars Hupel
GPG key ID: F9FD57A03B80305D
Expired
Learn about vigilant mode.

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)
Assets 2
Loading