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: GUIAssignee: Marius Mikučionis <marius>
Severity: enhancement    
Priority: P4    
Version: unspecified   
Hardware: All   
OS: All   

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