Comment 2 for bug 167051

Revision history for this message
Krakorj (krakorj) wrote :

The eps file is attached. It is an image generated from tool
UPPAAL (www.uppaal.com). The problem is I want to edit it
and seve it back to the EPS. In the other tools the file is
shown correctly, also when I use the pstoedit.