I agree absolutely.
On 16/6/19 10:01 pm, Lars Hupel 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.
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.
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
