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