From: Ted Dennison <dennison@telepath.com>
Subject: Re: www.adahome.com?...
Date: Fri, 29 Dec 2000 17:25:45 GMT
Date: 2000-12-29T17:25:45+00:00 [thread overview]
Message-ID: <92ihej$kqn$1@nnrp1.deja.com> (raw)
In-Reply-To: 92idp3$39c$1@news.huji.ac.il
In article <92idp3$39c$1@news.huji.ac.il>,
"Ehud Lamm" <mslamm@mscc.huji.ac.il> 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/
next prev parent reply other threads:[~2000-12-29 17:25 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <3a491263_3@news3.prserv.net>
[not found] ` <92d6cb$g57$1@nnrp1.deja.com>
[not found] ` <JZp26.45888$A06.1345888@news1.frmt1.sfba.home.com>
2000-12-27 21:53 ` www.adahome.com? Ted Dennison
[not found] ` <J8u26.47403$A06.1375585@news1.frmt1.sfba.home.com>
2000-12-28 0:00 ` www.adahome.com? Ted Dennison
2000-12-28 12:51 ` www.adahome.com? Marin David Condic
2001-01-03 20:21 ` www.adahome.com? Wes Groleau
2001-01-07 1:02 ` www.adahome.com? John English
2001-01-07 1:06 ` www.adahome.com? John English
2001-01-08 15:17 ` www.adahome.com? Ted Dennison
2000-12-28 13:21 ` www.adahome.com? Robert Dewar
2000-12-28 14:47 ` www.adahome.com? Andrzej Lewandowski
2000-12-28 15:34 ` www.adahome.com? Robert Dewar
2000-12-28 16:12 ` www.adahome.com? Ted Dennison
2000-12-28 19:54 ` www.adahome.com? David Botton
2000-12-28 21:12 ` www.adahome.com? Ted Dennison
2000-12-28 21:44 ` www.adahome.com? David Botton
2001-01-03 20:28 ` www.adahome.com? Wes Groleau
2001-01-03 21:23 ` www.adahome.com? Ted Dennison
2000-12-29 9:42 ` www.adahome.com? p.obry
2000-12-29 16:20 ` www.adahome.com? Ehud Lamm
2000-12-29 17:25 ` Ted Dennison [this message]
2000-12-29 19:51 ` www.adahome.com? David Botton
2000-12-30 11:47 ` www.adahome.com? Ehud Lamm
2000-12-30 17:33 ` www.adahome.com? Robert Dewar
[not found] <00d101c0712a$7123a360$ace7fea9@ix.netcom.com>
2000-12-29 12:16 ` www.adahome.com? Larry Kilgallen
[not found] ` <00c501c0712f$0d306190$0202a8c0@dbdell2000>
2000-12-29 16:27 ` www.adahome.com? Ted Dennison
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox