[isabelle-dev] Are sources available?
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