Hi, I got the following running Isabelle:
### Cannot execute Poly/ML in 32bit mode (missing shared libraries for C/C++) ### Using bulky 64bit version of Poly/ML instead What are these shared libraries that I need? I have glibc.i686 already. - Gergely _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
