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

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




But the ps generation works well with x-theory-hierarchy

Jean-Claude.Royer@mines-nantes.fr
ASCOLA, Mines de Nantes - INRIA
+ 33 2 51 85 82 05