Published January 24, 2017
| Version v0.6.5
Software
Open
larsrh/libisabelle: libisabelle 0.6.5
Description
Minor changes
- various dependency bumps (90423d7)
- CLI registers a shutdown hook to clean up thread pools & resources (54590fc)
- output of Isabelle print channels is passed along to the logger (248f4c6)
Files
larsrh/libisabelle-v0.6.5.zip
Files
(515.9 kB)
Name | Size | Download all |
---|---|---|
md5:df2b63444450ac6e8876a39b4cad99a2
|
515.9 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/larsrh/libisabelle/tree/v0.6.5 (URL)