[ProofPower] Problems with XPP!

[Thiago Carvalho de Sousa]

Hi friends,

I've just installed ProofPower 2.7.3 in the Fedora
Core 2 (successor of Red Hat). The installation
process worked fine, but I'm getting the follow error
when trying to run XPP:

xpp: warning:  could not use the ProofPower font
directory
Warning: Cannot convert string "holnormal" to type
FontStruct
xpp: system error: no pseudo-terminal devices
available
xpp: No such device or address

PP at command line works good! I'm running as root, so
I have full rights to access ProofPower font
directory! Has someone else experienced this issue? Or
is it an OS  incompatible issue? 

By the way, for historical record, does someone knows
what the biggest Z specification tested in the
ProofPower?

Thanks in advance,

=====
Thiago Carvalho de Sousa
Msc Student 
University of São Paulo


		
_______________________________
Do you Yahoo!?
Win 1 of 4,000 free domain names from Yahoo! Enter now.
http://promotions.yahoo.com/goldrush