Changes between Initial Version and Version 1 of Ticket #3505, comment 5


Ignore:
Timestamp:
Oct 19, 2010, 9:19:40 AM (12 years ago)
Author:
barak
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #3505, comment 5

    initial v1  
    1 (Sorry, am not tracking this, saw it by coincidence.  To actually reach me: barak@cs.nuim.ie.) 
     1(Sorry, am not tracking this, saw it by coincidence.  To actually reach me: barak @ cs . nuim . ie.) 
    22
    33I could try to hack together a "not" patch, but is it really worth it?  Pretty much all the interesting cases are already covered, and that seems like a level of complexity beyond what the problem deserves.