On 15.06.19 18:27, Yuri wrote:
I tried to create a FreeBSD port for isabelle, but can't do this without
the sources.
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.
Note that the isabelle-dev mailing list is about official administrative
things concerning Isabelle, but this thread is off-topic.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
