[isabelle-dev] Are sources available?

David Cock david.cock at inf.ethz.ch
Mon Jun 17 09:33:25 CEST 2019

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
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list