[isabelle-dev] Isabelle_10-Sep-2013

Makarius makarius at sketis.net
Thu Sep 12 21:05:46 CEST 2013


On Thu, 12 Sep 2013, C. Diekmann wrote:

>  x86_64
>  Using bulky 64bit version of Poly/ML

That part does not affect Java/Swing, but you might want to avoid the 
bulky version.  On Ubuntu the required packages are something like 
lib32gcc or lib32stdc++6 -- I usually install as many as are required to 
silence the dynamic linker.


 	Makarius




More information about the isabelle-dev mailing list