Re: [ProofPower] Error when installing Proofpower 2.8

Dear All, Many thanks to Phil Clayton for help with debugging while I am temporarily away from my usual development environment. I believe that we now have OpenProofPower 2.8.1a14 working on Ubuntu. The file to download from http://www.lemma-one.com/ProofPower/getting/versions/ is OpenProofPower

Re: [ProofPower] Error when opening ProofPower

> Hi there, > > A colleague has installed ProofPower in its computer but when he try to > open > ProofPower, a message "printer not found, aborting" is shown and the > window > is closed. > > The command executed is: xpp -d "polydb file" It looks like you are starting a systems admin program call

Re: [ProofPower] Cut and Paste in xpp on Ubuntu

> I am running ProofPower on Ubuntu 10.04. > > I had a problem a while back (probably when I first upgraded > to 10.04) with cut and paste, which didn't work whether done > by keyboard or by menu. > > I never found out what it was, but eventually it went away, > presumably as a result of something

Re: [ProofPower] Clap your hand to Artur

Marcel Oliveira writes: > > Artur has created a script that installed all dependencies and ProofPower > itself. Using it, I could install PP successfully. I will let him post the > script! Thanks Artur. Well done! And thanks to Artur from me too. > > > > Nevertheles. My palette doesn't look good

Re: [ProofPower] Clap your hand to Artur

>>> Nevertheles. My palette doesn't look good. I have the following message >>> when I open PP >>> "Warning: Cannot convert string "holnormal" to type FontStruct" >> >> >> >> xset +fp /fonts fp rehash >> >> where stands for the directory in which you installed >> ProofPower >> (e.g., /usr/loc

Re: [ProofPower] Printing of \not\in

Roger, > On Monday 11 Jul 2011 17:05, Rob Arthan wrote: > >> And presumably your docpdf calls pdflatex (which will >> fail in just the same way as texdvi on this example, I >> think you will find). So with this very simple example, >> the way ProofPower.sty does it works and the workaround >> you

Re: [ProofPower] Trouble Installing on Windows

Jon, > Rob, > > I was wondering, you know of any problems with the download site for > OpenMotif? > > I got Virtual Box and Fedora 17 working on my desktop, my laptop did not > have enough RAM to run it, and I got ProofPower and ML downloaded no > problems, but seems you get a blank page when gett