|
Bugzilla – Activity log for bug 2433: Coq 8.3 drops ability to test if a term contains evars |
- Home
- | New
- | Browse
- | Search
- | [?]
- | Reports
- | New Account
- | Log In
- | Forgot Password
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| steph | 2010-11-09 15:01:16 CET | Status | NEW | ASSIGNED |
| CC | steph | |||
| Assignee | coq-bugs-redist | steph | ||
| arthur.chargueraud | 2010-11-09 15:07:36 CET | CC | arthur.chargueraud | |
| gmalecha | 2010-11-09 21:33:36 CET | CC | gmalecha | |
| steph | 2010-11-16 14:29:28 CET | Status | ASSIGNED | RESOLVED |
| Resolution | --- | FIXED |