[ProofPower] Cut and Paste in xpp on Ubuntu
Roger Bishop Jones
rbj at rbjones.com
Thu Feb 24 03:52:45 EST 2011
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
More information about the Proofpower
mailing list