comp.lang.ada
 help / color / mirror / Atom feed
From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: ANN: VC_View 2.1.1 is Linux compatible
Date: Mon, 07 Jun 2010 20:56:50 +0200
Date: 2010-06-07T20:56:50+02:00	[thread overview]
Message-ID: <op.vdx1k0zsxmjfy8@garhos> (raw)
In-Reply-To: ed7c28e3-ff73-41b1-aafc-1a0d75583db5@31g2000prc.googlegroups.com

Le Mon, 07 Jun 2010 19:48:11 +0200, Anh Vo <anhvofrcaus@gmail.com> a écrit:
> I have problem www.sparksure.com. In fact, when clicking it, I got
> error message "The requested URL /www.sparksure.com was not found on
> this server." Any one else has similar problem or just only me?
> Thanks.
>
> A. Vo
I've just checked http://www.sparksure.com/ is OK at least here.
May be a temporarily DNS trouble from your ISP. Just wait, this will  
probably be back for you in a few hours.

-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.



  reply	other threads:[~2010-06-07 18:56 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-06-01 16:59 ANN: VC_View 2.1.1 is Linux compatible Phil Thornley
2010-06-07 17:48 ` Anh Vo
2010-06-07 18:56   ` Yannick Duchêne (Hibou57) [this message]
2010-06-08  7:23     ` Maciej Sobczak
2010-06-08 15:46       ` Anh Vo
2010-06-08 16:40       ` 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