| Summary: | MAC OS X support | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Gerd Behrmann <behrmann> |
| Component: | Engine | Assignee: | 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
A Mac OS X version can now be downloaded from the UPPAAL home page. |