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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
