Lars Hupel

> Using a different version of a library is not an unreasonable ask of users. It is unreasonable if there's no pressing need for it. This library (status quo) certainly...

Paiges available now.

Could discipline throw an error instead?

I'm a little surprised. I thought that everything above 128 gets escaped: https://github.com/larsrh/libisabelle/blob/f9bf9bdc2b9f74e80681979169b00749c33033ba/modules/libisabelle/src/main/scala/Codec.scala#L57

Okay, I can see that now. Could you PR the change?

Fair point. `System` does have a `dispose` method though, but one would need to remember calling it. Instead, `Simple_Thread.fork` (from PIDE) could be patched accordingly.

Fair enough. PR welcome :wink:

> What does this library do? In a nutshell: - install Isabelle uniformly on the supported platforms - act as a package manager for Isabelle formalizations (in conjunction with [sbt-libisabelle](https://github.com/larsrh/sbt-libisabelle)...

Do you have a branch where I could try to reproduce the problem?

Thanks, I'll check it out.