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

Back to bug 126

Who When What Removed Added
behrmann 2005-02-16 19:26:47 CET Resolution --- FIXED
Status NEW RESOLVED
behrmann 2005-06-29 21:27:18 CEST Summary Bound box in exported EPS file is wrong Bounding box in exported EPS file is wrong

Back to bug 126