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