There is a newer version of the record available.

Published February 4, 2017 | Version v0.7.0-RC1
Software Open

larsrh/libisabelle: libisabelle 0.7.0-RC1

Description

Major changes

  • support for Isabelle components (71209ab, 25cd288, 455baf4)
    • components can be injected when initializing an Environment
    • components are automatically discovered when they are in the classpath
    • libisabelle now takes control of $ISABELLE_HOME/etc/components
    • some breaking changes in bootstrapping; e.g. Configurations are not created from Resources; see Hello_PIDE.scala for an up-to-date example
  • attempting to use a System after disposal will result in an error (d5f8fc7)
  • a failed System startup will automatically clean up a potentially running Isabelle instance (9057fe1, regressed in #58)
Minor changes
  • removed dependency on java7-fs-more (12109ee)
  • bumped dependencies (9b45e00)
  • more thorough testing on Windows (7095a7d)

Files

larsrh/libisabelle-v0.7.0-RC1.zip

Files (517.3 kB)

Name Size Download all
md5:8f6f7ce77ed3dbabad990225f9f39fe5
517.3 kB Preview Download

Additional details

Related works