Re: [ProofPower] OpenProofPower 3.1w5

2015-04-19 Thread Rob Arthan
I should have acknowledged much-appreciated feedback from Phil Clayton and Paul Whittaker on the Unicode mapping. Phil found that the STIX fonts are useful on Linux. If you don’t already have them install the packages to install are stix-fonts (Fedora) or fonts-stic (Ubuntu). Paul pointed out t

Re: [ProofPower] building error and solution regarding the x11 path for Mac

2015-04-19 Thread Rob Arthan
Yuhui, On 1 Apr 2015, at 23:14, YuHui Lin wrote: > Hi, > > I’ve got two errors when I install pp, on the latest version of Mac OS > 10.10.2. The causes of these two errors are the path of X11 which seems to be > different. I am thinking my experience might be helpful, so I share the > errors

Re: [ProofPower] OpenProofPower 3.1w5

2015-04-19 Thread Rob Arthan
Phil, On 18 Apr 2015, at 18:19, Phil Clayton mailto:phil.clay...@lineone.net>> wrote: > Rob, > > I have build 3.1w5 and am seeing Z characters in the terminal which is great! > Glad you like it! > I find that I need to set LD_LIBRARY_PATH for the Poly/ML libraries when > running. I suspect t