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 | Resolution | --- | FIXED |
| Status | NEW | RESOLVED | ||
| adavid | 2008-06-11 16:49:34 CEST | Resolution | FIXED | --- |
| Status | RESOLVED | REOPENED | ||
| adavid | 2008-06-11 16:52:13 CEST | Status | REOPENED | RESOLVED |
| Resolution | --- | FIXED |
Back to bug 443