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.
Configuration
s are not created fromResources
; seeHello_PIDE.scala
for an up-to-date example
- components can be injected when initializing an
- 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)
- 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
- Is supplement to
- https://github.com/larsrh/libisabelle/tree/v0.7.0-RC1 (URL)