[isabelle-dev] Are sources available?
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
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
More information about the isabelle-dev