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

libisabelle 0.9.3
Compare
Choose a tag to compare
@larsrh larsrh released this 30 Apr 09:55
· 102 commits to master since this release
v0.9.3
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.
c5a1094
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.

Major changes

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