There is a newer version of the record available.

Published October 15, 2017 | Version v0.9.2
Software Open

larsrh/libisabelle: libisabelle 0.9.2

Creators

Description

Major changes

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

Files

larsrh/libisabelle-v0.9.2.zip

Files (822.7 kB)

Name Size Download all
md5:411f39d0fa941387bcc168cf3d024b43
822.7 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/larsrh/libisabelle/tree/v0.9.2 (URL)