Summary: | EPS export fails | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | Gerd Behrmann <behrmann> |
Component: | GUI | Assignee: | 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
Fixed on the trunk |