[isabelle-dev] Are sources available?

Yuri yuri at rawbw.com
Sat Jun 15 18:27:54 CEST 2019

The website says "Isabelle is distributed for free under a conglomerate 
of open-source licenses, but the main code-base is subject to BSD-style 
regulations." (https://www.cl.cam.ac.uk/research/hvg/Isabelle/)

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

I tried to create a FreeBSD port for isabelle, but can't do this without 
the sources.


More information about the isabelle-dev mailing list