Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!usc!jarthur!bridge2!mips!daver!ditka!qiclab!m2xenix!randy
From: randy@m2xenix.psg.com (Randy Bush)
Newsgroups: comp.lang.modula2
Subject: Re: Re: Re: VDM & M2
Message-ID: <1990Feb22.084017.20698@m2xenix.psg.com>
Date: 22 Feb 90 08:40:17 GMT
References: <emu-ec14.lg.1990.0216.182259.cok2@uk.ac.dur.mts>
Organization: Pacific Systems Group, Portland Oregon US
Lines: 7

I am more confused (no comments from peanut gallery).  Surely, you do not
intend to imply that, in order to have a published definition of the notation
being used in the Modula-2 standard, it will wait for the VDM standardization
process (which will take how many years)?

-- 
..!uunet!m2xenix!randy   randy@psg.com   randy@m2xenix.uucp