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

Bug 245

Summary: Save Postscript is broken
Product: UPPAAL Reporter: Alexandre David <adavid>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal    
Priority: P2    
Version: 3.6 Alpha 3   
Hardware: All   
OS: All   
Architecture:

Description Alexandre David 2005-12-22 17:07:01 CET
The Templates->save postscript command does not do anything.
Comment 1 Alexandre David 2005-12-22 17:07:56 CET
Fixed on the trunk.