[isabelle-dev] Are sources available?

[Lars Hupel]

> 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.

Comparing a genuine request for help to port Isabelle to a *BSD to
mental health problems is in the best interpretation unhelpful and in
the worst interpretation actively hostile. There is no justification for
this kind of language.