| Version | Author | Date | Quick Comparison |
| 1.1 | dkf | 2002-07-03 04:25:57 -0700 |
View this version |
Log Message
Created for Donal K. Fellows <fellowsd at cs dot man dot ac dot uk> |
|
| 1.2 | dgp | 2003-08-13 12:59:27 -0700 |
View this version |
Log Message
All TIPs that were targeting 8.4, yet were not Final in time for 8.4
are now shifted to be targeted at 8.5.
Some TIPs that were Accepted for 8.4, but never made Final, are now
shifted to be targeted at 8.5, and marked Deferred for lack of progress. |
|
| 1.3 | dkf | 2003-11-19 12:56:14 -0800 |
View this version |
Log Message
Hmm. Not sure if this is such a good idea after all. There's still a
need for this kind of matching though, especially as it is awkward to
write code to do it. Deferring the TIP anyway... |
|
| 1.4 | dkf | 2004-05-03 10:19:09 -0700 |
View this version |
Log Message
Peter Spjuth has a different way of doing this.
Given the unpopularity of this suggestion with other TCT members, this
TIP is withdrawn in favour of that one. |
|
|