On Sunday 11 Jul 2010 10:34, m...@proof-technologies.com wrote: > Please, anyone with any suggestions for improving the > clarity or scope of this file please contact me.
Naively setting forth with your instructions on Ubuntu 9.04 fails on the first step with: Reading package lists... Done Building dependency tree Reading state information... Done E: Couldn't find package libxp Is this because your instructions will only work on a later version of Ubuntu? Roger Jones _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com