larsrh/libisabelle: libisabelle 0.7.0

Major changes (since 0.6.6)

• 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)
• extended isabellectl (4eb2493)
  • --afp flag pulls in the AFP as a component
  • default for --version

• removed dependency on java7-fs-more (12109ee)
• bumped dependencies (9b45e00)
• more thorough testing on Windows (7095a7d)

• an example project demonstrating the combined use of libisabelle and sbt-libisabelle is available