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: 9 May 93 22:13:05 GMT From: alex@MIMSY.CS.UMD.EDU (Alex Blakemore) Subject: Re: Draft LRM for Ada9X ? Message-ID: <67398@mimsy.umd.edu> List-Id: In article <1993May8.155639.18595@seas.gwu.edu> mfeldman@seas.gwu.edu (Michael Feldman) writes: > I have been searching the AJPO machine for a document whose title resembles > "draft LRM for 9X." I've found lots of bits and pieces, isolated chapters ... try: ajpo.sei.cmu.edu:/public/ada9x/mrtcomments/rm9x/v2.0.compressed/ils.aarm.ps.Z its VERY BIG - because the AARM contains the rules plus annotations (sort of like Ada83 RM + Rationale + Implementor's guide) the chapters or the unannotated version or smaller & some chapters are not updated with recent changes in this version. the organization, presentation and language is usually very clear, but its not a finished document yet. -- Alex Blakemore alex@cs.umd.edu NeXT mail accepted -------------------------------------------------------------- "Without an engaged and motivated human being at the keyboard, the computer is just another dumb box." William Raspberry