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

Bug 402 - Unable to open multiple systems
Summary: Unable to open multiple systems
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.0.5
Hardware: Macintosh Mac OS
: P2 enhancement
Assignee: Gerd Behrmann
Depends on:
Reported: 2007-03-12 09:48 CET by Lars T. Mikkelsen
Modified: 2007-03-14 10:47 CET (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Lars T. Mikkelsen 2007-03-12 09:48:54 CET
On Mac OS X it's only possible to start one instance of UPPAAL. At the same time UPPAAL only allows one project/system to be opened - opening a new system closes the currently opened system. This makes it impossible to have multiple systems opened at any given time - a real annoyance when, for instance, comparing two different systems.

A solution could either be to allow multiple windows to be opened with different systems, or to allow multiple systems in the Navigation Tree of the Editor view.
Comment 1 Gerd Behrmann 2007-03-14 10:47:20 CET
This has been a planned feature for ages and was relatively high on my personal wish list.