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

libisabelle 1.0.1

Latest
Latest
Compare
Choose a tag to compare
@larsrh larsrh released this 02 Oct 08:57
· 67 commits to master since this release
v1.0.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.
e0b8f11
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

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