[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS-Help] wish crashes with postscript generation on Mac
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