ProofPower users on Mac OS X may be seeing the following error when they try to run xpp:
Warning: No type converter registered for 'String' to 'Orientation' conversion. Warning: No type converter registered for 'String' to 'Orientation' conversion. Warning: Widget must be a VendorShell. Warning: Fatal Error: _XmGetDefaultDisplay cannot be used prior to VendorS.Initialize, returns NULL This is likely to have been caused by a MacPort upgrade to the package xorg-libXt that is incompatible with the openmotif package. It can be fixed by running sudo port install xorg-libXt +flat_namespace and then rebuilding xpp: E.g., in the ProofPower release directory do: ./distclean PPTARGETS=xpp ./configure ./install -d Regards, Rob. _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com