There is a newer version of the record available.

Published July 2, 2017 | Version v0.8.1
Software Open

larsrh/libisabelle: libisabelle 0.8.1

Creators

Description

Major changes

  • Protocol theory doesn't have to be included in startup image (27b0dbe)
    • injection of arbitrary ML commands at startup and during runtime (929d0ed)
Minor changes
  • generated etc/components will be cleaned up automatically (7e1b817)
  • dependency bumps (644cf94, 3c8d226)
  • visibility changes in Environment (1d549a2)
  • logger receives all Isabelle messages, except ML statistics (18b724)
Build changes
  • Scaladoc has links to other libraries (db48fe1)

Files

larsrh/libisabelle-v0.8.1.zip

Files (525.2 kB)

Name Size Download all
md5:f5516e72f2004cc19a9331103e33958b
525.2 kB Preview Download

Additional details

Related works

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