[sv-bc] Typos in cond_predicate BNF

Subject: [sv-bc] Typos in cond_predicate BNF
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Sun Feb 29 2004 - 18:00:35 PST

• Next message: Srouji, Johny: "[sv-bc] main timelines for voting on sv3.1a"
• Previous message: Vassilios.Gerousis@infineon.com: "[sv-bc] LRM Milestones dates and Committee Voting"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Attached is a fix for some typos related to cond_predicate,
plus some missing keyword bolding.

-- Brad

• text/html attachment: cond_predicate.htm

• Next message: Srouji, Johny: "[sv-bc] main timelines for voting on sv3.1a"
• Previous message: Vassilios.Gerousis@infineon.com: "[sv-bc] LRM Milestones dates and Committee Voting"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Sun Feb 29 2004 - 18:08:45 PST