On 2019-06-15 11:58, Makarius wrote: > All sources are included, but such "hobby packaging" as I call it is > not going to work. Isabelle is very complex. It is not something you > disintegrate and reintegrate without loosing a lot. But what do you suggest? How can I run it? Yuri