Software Open Access

larsrh/libisabelle: libisabelle 0.9.2

Lars Hupel; Frank S. Thomas; Alexandre Archambault

Major changes

  • switched to Apache license (7e1c65f, #64)
  • Isabelle2017 support (f2aa7cc)
Minor changes
  • dependency bumps (526a015, f8e2c76)

Files (822.7 kB)
Name Size
larsrh/libisabelle-v0.9.2.zip md5:411f39d0fa941387bcc168cf3d024b43 822.7 kB Download

Share

Cite as