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

Bug 146

Summary:	command line option for automaton layout export to eps format
Product:	UPPAAL	Reporter:	Marius Mikučionis <marius>
Component:	GUI	Assignee:	Marius Mikučionis <marius>
Status:	RESOLVED FIXED
Severity:	enhancement
Priority:	P4
Version:	unspecified
Hardware:	All
OS:	All
Architecture:

Description Marius Mikučionis 2005-04-12 12:28:53 CEST

I think something like the following would be usefull in documentation scripts:
java -jar uppaal2k.jar --exportToEPS myautomaton > myautomaton.eps

Comment 1 Marius Mikučionis 2005-10-24 16:30:30 CEST

Fixed in CVS.
Try the following:
uppaal --splashScreen off --exportToEPS mytemplate myspec.xml > mytemplate.eps