Activity log for bug #96701
| Date | Who | What changed | Old value | New value | Message |
|---|---|---|---|---|---|
| 2007-03-26 22:17:05 | Mark Reitblatt | bug | added bug | ||
| 2007-03-26 22:28:05 | Mark Reitblatt | acl2: importance | Undecided | High | |
| 2007-03-26 22:28:05 | Mark Reitblatt | acl2: statusexplanation | |||
| 2007-04-03 07:57:41 | William Grant | acl2: importance | High | Medium | |
| 2007-09-23 03:43:35 | Barry deFreese | acl2: status | New | Incomplete | |
| 2008-02-28 10:39:15 | wolfger | acl2: status | Incomplete | Invalid |
