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 being upgraded. A couple of days it came back. Does anyone know anything about this problem? Roger Jones _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
