There is a newer version of the record available.

Published October 9, 2017 | Version v0.9.1
Software Open

larsrh/libisabelle: libisabelle 0.9.1

Creators

Description

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)

Files

larsrh/libisabelle-v0.9.1.zip

Files (530.3 kB)

Name Size Download all
md5:ed42237a386fb7682f9b512753e3b849
530.3 kB Preview Download

Additional details

Related works

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