This looks like something from Isabelle. I certainly don't recognise it
as anything from Poly/ML.
David
On 18/04/2013 08:14, Gergely Buday wrote:
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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
