On 2019-06-16 11:20, Makarius wrote:
Considering to produce a BSD "port" of Isabelle just to run it as a user is unrealistic, not to say insane. We don't have a mailing list for insanities.
It seems that you are implying that the Isabelle code is convoluted beyond imaginable. We probably don't want such code then, because it can't possibly be useful for any purpose in such condition anyway.
Thank you for your help, Yuri _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
