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

Bug 76

Summary: MAC OS X support
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: enhancement    
Priority: P2    
Version: unspecified   
Hardware: PC   
OS: other   
Architecture:

Description Gerd Behrmann 2003-12-20 01:01:48 CET
Several people have request MAC OS X support for the engine.
Comment 1 Gerd Behrmann 2005-02-18 10:34:57 CET
A Mac OS X version can now be downloaded from the UPPAAL home page.