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,MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,9e3fa322e453b2f9 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2000-12-29 09:40:10 PST Path: supernews.google.com!sn-xit-02!supernews.com!216.227.56.88.MISMATCH!telocity-west!TELOCITY!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail From: Ted Dennison Newsgroups: comp.lang.ada Subject: Re: www.adahome.com?... Date: Fri, 29 Dec 2000 17:25:45 GMT Organization: Deja.com Message-ID: <92ihej$kqn$1@nnrp1.deja.com> References: <3a491263_3@news3.prserv.net> <92d6cb$g57$1@nnrp1.deja.com> <92fens$7je$1@nnrp1.deja.com> <3a4b456f_3@news3.prserv.net> <92fmis$dn1$1@nnrp1.deja.com> <92fop9$fn8$1@nnrp1.deja.com> <005501c07108$050589e0$0202a8c0@dbdell2000> <92idp3$39c$1@news.huji.ac.il> NNTP-Posting-Host: 204.48.27.130 X-Article-Creation-Date: Fri Dec 29 17:25:45 2000 GMT X-Http-User-Agent: Mozilla/5.0 (Windows; U; WinNT4.0; en-US; m18) Gecko/20001207 X-Http-Proxy: 1.0 x51.deja.com:80 (Squid/1.1.22) for client 204.48.27.130 X-MyDeja-Info: XMYDJUIDtedennison Xref: supernews.google.com comp.lang.ada:3456 Date: 2000-12-29T17:25:45+00:00 List-Id: In article <92idp3$39c$1@news.huji.ac.il>, "Ehud Lamm" wrote: > > David, is it possible to put the Steelman on Adapower, like you did > for the RM/Rationale? > It is one of things I still go to AdaHome for. If I remember correctly, the LRM was given to him by someone else who used a tool to perform the HTMLization from a text copy. He may need a volunteer to perform the same service for Steelman. -- T.E.D. http://www.telepath.com/~dennison/Ted/TED.html Sent via Deja.com http://www.deja.com/