> 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
