Dear Yuri,
Am 16.06.2019 um 20:31 schrieb Yuri:
> On 2019-06-16 11:20, Makarius 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.
I agree with Lars's comment about the
> 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
On 2019-06-16 11:20, Makarius 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.
It seems that you are implying that the Isabelle code is convoluted
beyond imaginable. We
On 15.06.19 21:27, Yuri wrote:
On 2019-06-15 11:58, Makarius wrote:
All sources are included, but such "hobby packaging" as I call it is
not going to work. Isabelle is very complex. It is not something you
disintegrate and reintegrate without loosing a lot.
But what do you suggest? How can