[isabelle-dev] Are sources available?

Lars Hupel hupel at in.tum.de
Sun Jun 16 22:01:19 CEST 2019

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

More information about the isabelle-dev mailing list