Hi,
I have uploaded new versions of the document to include 2341 in the same proposal. The 'list_of_modules_or_assertions' term has been modified and also the explanation for it has been updated.
Dimitry, please include it in the list of items to discuss next week.
Manisha
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Fri Aug 5 00:15:38 2011
This archive was generated by hypermail 2.1.8 : Fri Aug 05 2011 - 00:15:55 PDT