[sv-ac] Mantis 1758 - updated proposal

From: Eduard Cerny <Eduard.Cerny_at_.....>
Date: Tue Sep 18 2007 - 07:30:03 PDT

Hello,

I have updated the proposal for #1758 - Boolean eimplication and
equivalence. Uploaded and attached here. It is updated relative to Draft
3a and only in expressions (implies and iff are part of linear property
operators.)

ed

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

application/octet-stream attachment: BoolImplication1758.070918.pdf

Received on Tue Sep 18 07:30:35 2007

This message: [ Message body ]
Next message: Fais Yaniv-RM96496: "RE: [sv-ac] call to vote on Mantis 1668"
Previous message: Bustan, Doron: "RE: [sv-ac] call to vote on Mantis 1668"
Next in thread: Bassam Tabbara: "RE: [sv-ac] Mantis 1758 - updated proposal"
Reply: Bassam Tabbara: "RE: [sv-ac] Mantis 1758 - updated proposal"
Maybe reply: Eduard Cerny: "Re: [sv-ac] Mantis 1758 - updated proposal"
Reply: Korchemny, Dmitry: "RE: [sv-ac] Mantis 1758 - updated proposal"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Tue Sep 18 2007 - 07:30:46 PDT