Re: [isabelle-dev] scala-2.12.2

> I've just pushed the inverse patch of 94b0da1b242e to testboard, so > we'll see. > > HOL-Codegenerator_Test runs fine (0:14:41 elapsed time). Cheers Lars ___ isabelle-dev mailing list

[isabelle-dev] include option for "sessions" in ROOT

I'm playing around with the new "sessions" feature for qualified imports. I think a prominent use case is to depend on various AFP entries. When I'm working on my local development, I'd like to do this: session Preliminiaries = ... sessions HOL-Library theories HOL-Library.FSet ...

Re: [isabelle-dev] scala-2.12.2

> Maybe we should give it another try? I've just pushed the inverse patch of 94b0da1b242e to testboard, so we'll see. Cheers Lars ___ isabelle-dev mailing list isabelle-...@in.tum.de