Re: [ProofPower] PP 3.1w7 installation problems with Fedora 24

I think the system requirements just say that TeX/LaTeX is required and suggest Tex-Live or teTeX installations. The issue here is that TeX-Live is provided by several Fedora packages, presumably because it is so large, that are not all installed by default. If every Tex-Live package was

Re: [ProofPower] PP 3.1w7 installation problems with Fedora 24

(I replied from the wrong email address which silently fails, trying again...) Forwarded Message Subject: Re: [ProofPower] PP 3.1w7 installation problems with Fedora 24 Date: Thu, 15 Jun 2017 16:31:29 +0100 From: Phil Clayton To: