[isabelle-dev] Are sources available?

Yuri yuri at rawbw.com
Sat Jun 15 19:07:16 CEST 2019

On 2019-06-15 09:51, Lars Hupel wrote:
> I think some people have tried to build Isabelle packages for FreeBSD
> before, which may be hard, judging by the following report:

Why is it so hard, anyway? Normally projects provide a single source 
tree and it builds and installs from it. Usually, for complex projects, 
cmake works well, and it allows the project to be built almost 

Isabelle doesn't work this way?


More information about the isabelle-dev mailing list