On Thursday 08 Jul 2010 11:21, m...@proof-technologies.com wrote: > In fact, Roger, could you confirm that you are using > OpenMotif 2.3.0?
No. 2.2.3-4. I'm on Ubuntu 9.04 so I think I will have to go up to 9.10. Roger _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com