From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.7 required=5.0 tests=BAYES_00,INVALID_DATE, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!attcan!uunet!lll-winken!lll-tis!ames!ncar!oddjob!mimsy!olympos.cs.umd.edu!elewis From: elewis@olympos.cs.umd.edu (Ed Lewis) Newsgroups: comp.lang.ada Subject: What is AdaNet? Keywords: AdaNet, Networking, Inquiry, DARPA, Funding Message-ID: <13138@mimsy.UUCP> Date: 22 Aug 88 21:35:12 GMT Sender: nobody@mimsy.UUCP Reply-To: emerson@silmaril.gsfc.nasa.gov (Curtis Emerson) Organization: Goddard Space Flight Center, Greenbelt, MD, 20771 List-Id: Anyone know where I might find some info on the AdaNet project? I think it deals with coding the OSI networking protocols in Ada. If you know what this project is about, or know of a reference, please reply to: emerson@silmaril.gsfc.nasa.gov Thanks! Curtis