[isabelle-dev] Are sources available?

Yuri yuri at rawbw.com
Sat Jun 15 21:27:10 CEST 2019


On 2019-06-15 11:58, Makarius wrote:
> All sources are included, but such "hobby packaging" as I call it is 
> not going to work. Isabelle is very complex. It is not something you 
> disintegrate and reintegrate without loosing a lot.


But what do you suggest? How can I run it?


Yuri




More information about the isabelle-dev mailing list