Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

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