Summary: | Unexpected error Dialog at the nail operation. | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | Hiroshi Fujimoto <hpluse> |
Component: | GUI | Assignee: | Alexandre David <adavid> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | ynjack |
Priority: | P1 | ||
Version: | 4.0.7 | ||
Hardware: | PC | ||
OS: | Windows XP | ||
Architecture: |
Description
Hiroshi Fujimoto
2008-12-22 07:21:06 CET
Fixed in rev. 4223. Will be part of version 4.0.8. |