[isabelle-dev] Are sources available?

[Yuri]

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