[isabelle-dev] Are sources available?
makarius at sketis.net
Sat Jun 15 20:58:40 CEST 2019
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.
More information about the isabelle-dev