[isabelle-dev] Are sources available?

[Makarius]

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