This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 125

Summary:	Invalid prolog in generated postscript file
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	3.4.7
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2005-02-15 22:17:09 CET

GSView 4.6 on Windows with ghostscript 8.14 compains about DSC violations, that
seem to be triggered by the %%Pages: comment in the postscript prolog. UPPAAL
claims that there is one page in the document, but ghostscript does not agree
with this. Removing the %%Pages: comment seems to solve the problem (although I
do not know if this is valid).

Comment 1 Gerd Behrmann 2005-02-15 22:21:15 CET

According to this page:

http://www.cs.indiana.edu/docproject/programming/postscript/eps.html

an EPS file should not use showpage. According to the DSC, a file not using
showpage should set the page count to zero.

Comment 2 Gerd Behrmann 2005-02-16 19:26:34 CET

A fix for 3.4 has been checked into CVS.