Re: [ProofPower] file conversion

2016-08-19 Thread Roger Bishop Jones
Thanks for the help with UTF8 Rob. That went through without hitch for me, apart from my discovering that my OS X ProofPower installation didn't work properly. It turned out that on OS X, as on Ubuntu 16.04, I needed to put in a softlink to app-defaults in my home directory. Roger Jones On 1

[ProofPower] file conversion

2016-08-17 Thread Roger Bishop Jones
Rob, It would be helpful for intelligible email discussions about ProofPower if you could tell us all the slickest way to get a proofpower script into a form in which it can be pasted into an email (UTF8 presumably), and vice-versa. Roger ___ Proo