There is a newer version of the record available.

Published June 29, 2018 | Version v1.0.0-RC1
Software Open

larsrh/libisabelle: libisabelle 1.0.0-RC1

Creators

Description

Major changes

  • drop pre-Isabelle2017 support (55a96af)
  • add Isabelle2018-RC0 support (c3b38b2)
Minor changes
  • dependency bumps (6b8e385, 5ab91d6, 9292571)
Build changes
  • tests are automatically run with the latest supported Isabelle version (52e1c85)
  • package sizes trimmed (d4087ed)
  • future: support for further release candidates of Isabelle2018 will be added to this release; pide-package cannot be updated however

Files

larsrh/libisabelle-v1.0.0-RC1.zip

Files (757.1 kB)

Name Size Download all
md5:385c3079173b7dec9869faf628fc884a
757.1 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/larsrh/libisabelle/tree/v1.0.0-RC1 (URL)