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

Bug 215

Summary: Automatic layout is missing
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal    
Priority: P1    
Version: 3.6 Alpha 1   
Hardware: All   
OS: All   
Architecture:

Description Gerd Behrmann 2005-11-03 17:10:28 CET 
The automatic layout feature for importing from TA and XTA files is missing in 3.6. This is a regression 
from 3.4.
Comment 1 Gerd Behrmann 2005-12-02 19:12:04 CET 
Fixed on the trunk.