OK, I've made my first attempt to write up a description of the deferred assertions we have been discussing. For those who have been interested in this topic, please take a look and send me any suggestions, corrections, or comments. (BTW-- suggestions of a better name than 'assert defer' are also welcome.) I've attached the new pdf doc for your convenience. Thanks! -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
This archive was generated by hypermail 2.1.8 : Fri Oct 19 2007 - 09:15:46 PDT