From: "David Botton" <David@Botton.com>
Subject: Re: NEW HTML Ada 95 RM!
Date: 2000/01/03
Date: 2000-01-03T00:00:00+00:00 [thread overview]
Message-ID: <Xz4c4.6074$Tf2.352913@news4.usenetserver.com> (raw)
In-Reply-To: 3870D376.1D1D1610@res.raytheon.com
The AdaPower Search covers the RM and Rationale:
http://www.adapower.com/search.html
David Botton
John J Cupak Jr <John_J_Cupak@res.raytheon.com> wrote in message
news:3870D376.1D1D1610@res.raytheon.com...
> Also,
>
> Can you provide the much-needed but missing "search" capability?
>
> John
>
> mfeldman@seas.gwu.edu wrote:
>
> > In a previous article, David Botton <David@Botton.com> writes:
> > >* Thanks to Jerry Van Dijk's Texinfo RM95 we now have a new HTML RM 95
> > >available!! (With out those very special (c) notices from our friend at
> > >AdaHome)
> > >http://www.adapower.com/rm95/
> >
> > Fantastic! This is a great job! I suggest only that you add a bit more
> > of a title page to indicate that this is an HTML-annotated version of
> > the "official" electronic version published (and still copyrighted) by
> > Intermetrics. We devotees understand all that, but a new user might
> > not realize that this really is a formal standard, not just thrown
> > together by some Ada fans!
> > >
> > >The Texinfo version is available for download via ftp at:
> > >ftp://ftp.adapower.com/pub/rm95texi.zip
> > >The HTML version is available for download via ftp at:
> > >ftp://ftp.adapower.com/pub/rm95html.zip
> >
> > Excellent. I notice there's no prohibition here against installing
> > it on other servers.:-)
> > >
> > >* The Ada 95 Rationale is available also thanks to Laurent Guerby
> > >http://www.adapower.com/rationale/
> > >and can be downloaded from:
> > >ftp://ftp.adapower.com/pub/rat95html-1.07.tar.gz
> >
> > Good job all around! This will be very useful. Thanks, Jerry,
> > Laurent, and David!
> > >
> > >--
> > >David Botton
> > >www.AdaPower.com
> >
> > Mike Feldman
> >
> > ----- Posted via NewsOne.Net: Free Usenet News via the Web -----
> > ----- http://newsone.net/ -- Discussions on every subject. -----
> > NewsOne.Net prohibits users from posting spam. If this or other
posts
> > made through NewsOne.Net violate posting guidelines, email
abuse@newsone.net
>
next prev parent reply other threads:[~2000-01-03 0:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-12-30 0:00 NEW HTML Ada 95 RM! mfeldman
2000-01-03 0:00 ` John J Cupak Jr
2000-01-03 0:00 ` David Botton [this message]
2000-01-03 0:00 ` David Botton
-- strict thread matches above, loose matches on Subject: below --
1999-12-30 0:00 David Botton
1999-12-30 0:00 ` Ted Dennison
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox