[sv-ac] Update and new mantis items

From: Eduard Cerny <Eduard.Cerny_at_.....>
Date: Wed Feb 07 2007 - 10:03:04 PST
Hello,

I have deposited updated proposals for the following Mantis items:

#1648, #1674, #1681, #1682,

and created the following new enhancement entries and proposals:

The "let" statement (draft)
#1728
Immediate assume and cover
#1729
Literal sequence / property expressions as actual arguments	#1730
Relaxing rules in sampled value functions
#1731

Please review and discuss....

Thank you,
ed



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Feb 7 10:03:29 2007

This archive was generated by hypermail 2.1.8 : Wed Feb 07 2007 - 10:03:45 PST