Software Open Access

larsrh/libisabelle: libisabelle 0.8.0

Lars Hupel; Frank S. Thomas; Alexandre Archambault

Major changes

  • experimental support for Isabelle devel versions (0165472, 510beb4)
    • Platform moved from libisabelle-setup to libisabelle
    • Version is now split into Stable and Devel
    • GenericEnvironment is a new subclass of Environment that can be instantiated without classloading; only supports Isabelle tool invocations (e.g. build, jedit)
Minor changes
  • CLI and test logging by scalog (43922d6)
  • treat empty entries in file list (.libisabelle/.files) correctly (8898c0e)
  • internal ExitTrap exception (used for control flow) is not printed anymore (0404c13)
  • various dependency bumps (453a5e4, d013d66, 8946a7d,
  • Isabelle2016-1 is identified correctly (6456157)
  • changing (i.e. SNAPSHOT) artifacts are fetched again after TTL has expired (d1130d4)

Name Size
larsrh/libisabelle-v0.8.0.zip
md5:b51aeb548f9885a0baef83bf674bd814
520.0 kB Download

Share

Cite as