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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
