From: Aay Jay Chan <aayjaychan@gmail.com>
Subject: Re: A curiosity about the RM
Date: Fri, 27 Jun 2014 05:23:17 -0700 (PDT)
Date: 2014-06-27T05:23:17-07:00 [thread overview]
Message-ID: <0cf1d493-8699-493b-bb8e-6499e21f49c4@googlegroups.com> (raw)
In-Reply-To: <14459410-f5a4-433d-b3ea-5cac31d0d86c@googlegroups.com>
It is indeed a version number. See the last paragraph of the Introduction of the RM.
http://www.ada-auth.org/standards/12rm/html/RM-0-2.html
next prev parent reply other threads:[~2014-06-27 12:23 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-06-27 8:53 A curiosity about the RM mockturtle
2014-06-27 12:23 ` Aay Jay Chan [this message]
2014-06-28 5:09 ` J-P. Rosen
2014-06-28 6:19 ` Dirk Craeynest
2014-06-28 8:09 ` J-P. Rosen
2014-06-28 19:18 ` Robert A Duff
2014-06-29 19:45 ` mockturtle
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox