comp.lang.ada
 help / color / mirror / Atom feed
From: mockturtle <framefritti@gmail.com>
Subject: Re: Weird error with Dynamic_Predicate
Date: Wed, 14 May 2014 00:30:43 -0700 (PDT)
Date: 2014-05-14T00:30:43-07:00	[thread overview]
Message-ID: <defd07d6-68f8-4655-93f0-43759623ccd5@googlegroups.com> (raw)
In-Reply-To: <53729126$0$6665$9b4e6d93@newsspool3.arcor-online.net>

On Tuesday, May 13, 2014 11:39:49 PM UTC+2, Georg Bauhaus wrote:
> On 13/05/14 20:55, mockturtle wrote:
> 
> > what does DbC mean?
> 
> DbC is short for Design by Contract�.
> 

Oh, right... I could have guessed that... 

Thank you


      reply	other threads:[~2014-05-14  7:30 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-05-12 19:47 Weird error with Dynamic_Predicate mockturtle
2014-05-12 20:45 ` Peter Chapin
2014-05-12 20:52   ` mockturtle
2014-05-12 21:01 ` Adam Beneschan
2014-05-12 22:17   ` Randy Brukardt
2014-05-13  4:40     ` Simon Wright
2014-05-13 20:50       ` Simon Wright
2014-05-13  4:59 ` Shark8
2014-05-13 12:46 ` G.B.
2014-05-13 17:04   ` Martin
2014-05-13 18:55 ` mockturtle
2014-05-13 21:39   ` Georg Bauhaus
2014-05-14  7:30     ` mockturtle [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox