[isabelle-dev] Are sources available?

Yuri yuri at rawbw.com
Sun Jun 16 20:31:21 CEST 2019

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,


More information about the isabelle-dev mailing list