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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
