From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 20 Sep 93 14:43:16 GMT
From: usenet.ufl.edu!zeno.fit.edu!woodward@gatech.edu  (Bill Woodward)
Subject: Re: Paper on 9x enhancements
Message-ID: <CDnq84.1F7@zeno.fit.edu>
List-Id: <comp.lang.ada>

In article <1993Sep20.092653.9175@jarvis.csri.toronto.edu> blaak@csri.toronto.e
du (Raymond Blaak) writes:
>adcad@zeus.datasrv.co.il (Ad-cad) writes:
>
>>I'm looking for a paper describing the essential enhencements of Ada9x in
>>respect to Ada 83. I am not looking for a whole manual or tutorial for Ada
>>since I'm fluent in Ada 83. Is there such a thing publicly available ?
>>(I could not find one in the 9x program office FTP directories).
>
>There is an Ada 9X project report titled: "Introducing Ada 9X", dated
>february, 1993, that gives exactly what you want.
>
>I got it because I signed up for it the last time I was at Tri-Ada.
>
>I only have a paper version, but there must be an on-line version somewhere.
>
>Does anyone know?


Try anonymous ftp from ajpo.sei.cmu.edu. Look in the directory:

	public/ada9x/ada9x.reports
for the following files:

*** INTRODUCING Ada 9X ***

intro-Feb93.9x		- Ada 9X Project Report, Introducing Ada 9X, 
intro-Feb93.tar.Z	  February 1993

The report comes in several formats, check the README file in above
directory for more info.

Bill Woodward				Florida Institute of Technology
woodward@se.fit.edu			Melbourne, FLORIDA

Plan:
with Experience;
use Experience;
procedure Graduate_Studies(Teachings : IN Faculty_Knowledge; 
                           Projects, Tests, Thesis : OUT Requirements) is .....
.