From: Rod Chapman <roderick.chapman@googlemail.com>
Subject: Re: SPARK reserved and predefined words : alternative choices
Date: Thu, 20 May 2010 02:01:30 -0700 (PDT)
Date: 2010-05-20T02:01:30-07:00 [thread overview]
Message-ID: <7618a491-d1dc-4d30-a4fa-bbd1e8c2d489@r9g2000vbk.googlegroups.com> (raw)
In-Reply-To: op.vczjbdgtule2fv@garhos
You can, of course, use the -fdl=XXXX switch
to de-conflict the name-space if you like. In that case,
the predefined FDL identifiers are usable. See the Examiner
User Manual for details.
- Rod
next prev parent reply other threads:[~2010-05-20 9:01 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-20 3:43 SPARK reserved and predefined words : alternative choices Yannick Duchêne (Hibou57)
2010-05-20 9:01 ` Rod Chapman [this message]
2010-05-20 16:37 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox