[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] wish crashes with postscript generation on Mac

Hi all
I am using wish to try to get a graphic view of a proof.
The view is ok with "x-show-proof" but the PS generation does not work.
I tried several different proofs and various options with pvs 4.1 and pvs 5,
but allways the wish application crashes.
This is may be a bug with Mac and snow leopard, but I dit not find
something related on the web.

Any hint to solve this issue ?

ASCOLA, Mines de Nantes - INRIA
+ 33 2 51 85 82 05