Re: [$ieee-1850] IEEE 1850 PSL LRM draft 5....

From: Cindy Eisner <EISNER_at_.....>
Date: Thu Mar 17 2005 - 04:03:02 PST
harry,

another typo:  p. 116, line 34.  FiniteRange is not defined.  i think it
should be finite_Range (where the "finite" is italicized).

cindy.

--------------------------------------------------------------------
Cindy Eisner
Formal Methods Group
IBM Haifa Research Laboratory
Haifa 31905, Israel
Tel: +972-4-8296-266
Fax: +972-4-8296-114
e-mail:  eisner@il.ibm.com
Received on Thu Mar 17 04:02:57 2005

This archive was generated by hypermail 2.1.8 : Thu Mar 17 2005 - 04:03:05 PST