Rob, The master branch of ProofPower is 35 commits ahead of utf8, and some of = those commits address problems arising in the build which now prevent = the utf8 branch from building.
Do you have any sense of how much of it might need to be retrofitted for = utf8 to build? Is it likely that a pull request would facilitate applying those commits = to the utf8 branch, or is might there be a better way to approach it? This is not a big issue for me, but if it can be sorted without too much = effort I=E2=80=99m willing to put a bit of time in, I converted all my = ProofPower scripts to utf8 back in the day. Roger= _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
