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

Bug 303

Summary: EPS export fails
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal    
Priority: P2    
Version: 3.6 Beta 1   
Hardware: All   
OS: All   
Architecture:

Description Gerd Behrmann 2006-03-23 15:22:25 CET 
The GUI crashes with a ClassNotFoundException when attempting to export a template to EPS format.
Comment 1 Gerd Behrmann 2006-03-23 15:22:34 CET 
Fixed on the trunk