Published June 30, 2018
| Version v1.0.0-RC2
Software
Open
larsrh/libisabelle: libisabelle 1.0.0-RC2
Description
Major changes (since 0.9.3)
- drop pre-Isabelle2017 support (55a96af)
- add Isabelle2018-RC0 support (c3b38b2)
- dependency bumps (6b8e385, 5ab91d6, 9292571)
- tests are automatically run with the latest supported Isabelle version (52e1c85)
- package sizes trimmed (d4087ed, fixed in 27a2c852)
- fix cross-publishing (#68, 803410d)
- future: support for further release candidates of Isabelle2018 will be added to this release;
pide-packagecannot be updated however
Files
larsrh/libisabelle-v1.0.0-RC2.zip
Files
(783.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:f25afb5644f2e098f622687d7bc7a50e
|
783.9 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/larsrh/libisabelle/tree/v1.0.0-RC2 (URL)