[isabelle-dev] Are sources available?
hupel at in.tum.de
Sat Jun 15 18:51:19 CEST 2019
> 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:
I think some people have tried to build Isabelle packages for FreeBSD
before, which may be hard, judging by the following report:
AFAICT the major hurdle is to provide packages for all extra components,
More information about the isabelle-dev