On Wednesday 20 Oct 2010 10:14, Roger Bishop Jones wrote: ... > If you want to run through usr023_slides.doc, then do it > using the database "zed". > > xpp -f $PPHOME/doc/usr023_slides.doc -d example_zed
That should have been: xpp -f $PPHOME/doc/usr023_slides.doc -d zed Roger Jones _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
