From smith5j@ncr.disa.mil  Tue Jun 25 11:17:56 1996
Received: from hail.ncr.disa.mil (hail.ncr.disa.mil [164.117.176.115]) by dkuug.dk (8.6.12/8.6.12) with ESMTP id LAA20167 for <SC24@dkuug.dk>; Tue, 25 Jun 1996 11:17:52 +0200
Received: from ncr.disa.mil ([164.117.176.106]) by hail.ncr.disa.mil (8.7.3/DISA 8.7.3.01) with SMTP id FAA01254; Tue, 25 Jun 1996 05:09:47 -0400 (EDT)
Received: from ccMail by ncr.disa.mil (SMTPLINK V2.11.01)
	id AA835705045; Tue, 25 Jun 96 05:11:55 EST
Date: Tue, 25 Jun 96 05:11:55 EST
From: "Jerry L. Smith" <smith5j@ncr.disa.mil>
Message-Id: <9605258357.AA835705045@ncr.disa.mil>
To: SC24@dkuug.dk, Ivan Herman <Ivan.Herman@cwi.nl>, landryh@ncr.disa.mil
Subject: Re: (SC24.214) Web sites on programming languages (for langu

     Huet,
     
     Can you help Ivan on the ADA stuff?
     
     Thanks!
     
     Jerry


______________________________ Reply Separator _________________________________
Subject: (SC24.214) Web sites on programming languages (for language 
Author:  Ivan Herman <Ivan.Herman@cwi.nl> at smtp
Date:    6/24/96 9:00 AM


     
     
Dear collegues
     
on one of the head of delegations' meeting in Kyoto the issue of accessing 
up-to-date information on the programming languages we are interested in 
popped up. It was agreed that, eventually, I would add a list of web pointers 
to the SC24 web pages. However I am also not sure of having all necessary and 
best information at hand. We have therefore agreed to contact you if anybody 
can give me the best possible pointers.
     
What I have is:
     
 for Ada95: http://lglwww.epfl.ch:80/Ada
     
this seems to be a collection of an awful lot of information about Ada95, 
referenced by a lot of other people.
     
 for C++:   http://www.cwi.nl/~ivan/OnlineDocs/ISOC++/
     
This is much 'uglier': as you can see this is pointing into my own area. The 
point is that I could download, about a year ago, the full HTML version (using 
a set of compressed files!) of the C++ draft and I then installed it for 
myself. The problem is that 1) I do not remember where I downloaded from, so I 
do not know how to keep up to date 2) the ideal would be to have a URL for an 
official site and use this one.
     
That is all I have. I would appreciate your help
     
Ivan