Hello everyone, I am a fresher here.
When I try to use "xpp -d database" to open an xpp session in X11, I get an error message -- Segmentation fault. Is anyone have any idea for this?
Thanks a lot! Shu Cheng _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
