From: fjh@mundook.cs.mu.OZ.AU (Fergus Henderson)
Subject: Re: type casting tagged types in the wrong direction
Date: 1996/03/30
Date: 1996-03-30T00:00:00+00:00 [thread overview]
Message-ID: <4jj5se$l24@mulga.cs.mu.OZ.AU> (raw)
In-Reply-To: dewar.828067254@schonberg
dewar@cs.nyu.edu (Robert Dewar) writes:
>You realize wrong! GNAT was the first general purpose Ada 95 compiler
>to be validated. We validated on the floor at Tri-Ada 96, and are now
>the proud owners of ACVC 2.0 validation certificates numbers 2, 3 and
>4.
So who got validation certificate number 1?
--
Fergus Henderson WWW: http://www.cs.mu.oz.au/~fjh
fjh@cs.mu.oz.au PGP: finger fjh@128.250.37.3
next prev parent reply other threads:[~1996-03-30 0:00 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-03-27 0:00 type casting tagged types in the wrong direction James A. Squire
1996-03-28 0:00 ` Norman H. Cohen
1996-03-28 0:00 ` Robert Dewar
1996-03-28 0:00 ` Tucker Taft
1996-03-28 0:00 ` Robert Dewar
1996-03-30 0:00 ` Fergus Henderson [this message]
1996-03-31 0:00 ` Robert Dewar
1996-03-29 0:00 ` type casting tagged types in the wrong Scott Moody
[not found] <md5:5AA0EAFF641BB9F461162E7F13E1101F>
1996-03-29 0:00 ` type casting tagged types in the wrong direction James A. Squire
1996-03-29 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox