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
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to