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

Back to bug 443

Who When What Removed Added
adavid 2008-06-11 11:44:41 CEST URL http://soc.eurecom.fr/uppaal/spec1.xml http://soc.eurecom.fr/uppaal/spec.xml
adavid 2008-06-11 16:45:29 CEST Status NEW RESOLVED
Resolution --- FIXED
adavid 2008-06-11 16:49:34 CEST Status RESOLVED REOPENED
Resolution FIXED ---
adavid 2008-06-11 16:52:13 CEST Status REOPENED RESOLVED
Resolution --- FIXED

Back to bug 443