[isabelle-dev] Are sources available?

[Lars Hupel]

Hi Yuri,

> This seems to mean that sources should be available, but there is no
> sources link. The "Installation" page only lists binary downloads.

the download options offered on the frontpage contain the sources plus
some extra binary components.

For a full list of available downloads, see here:

<https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/>

I think some people have tried to build Isabelle packages for FreeBSD
before, which may be hard, judging by the following report:

<https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=197402>

AFAICT the major hurdle is to provide packages for all extra components,
like Poly/ML.

Cheers
Lars