[isabelle-dev] Are sources available?

Makarius 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 mailing list