All: The summary of 805 says "disable iff condition should produce vacuous match". This is no longer accurate. We have decided that disabled attempts are neither successes nor failures. Can we change this summary to avoid potential confusion? I suggest something like "disabled attempts should be neither successes nor failures". J.H.Received on Thu Sep 21 04:59:13 2006
This archive was generated by hypermail 2.1.8 : Thu Sep 21 2006 - 04:59:26 PDT