From: "Ehud Lamm" <mslamm@mscc.huji.ac.il>
Subject: Re: www.adahome.com?...
Date: Sat, 30 Dec 2000 13:47:04 +0200
Date: 2000-12-30T13:47:04+02:00 [thread overview]
Message-ID: <92ki4d$6qn$1@news.huji.ac.il> (raw)
In-Reply-To: 001501c071d0$c3e6e840$0402a8c0@db2000
David Botton <David@Botton.com> wrote in message
news:001501c071d0$c3e6e840$0402a8c0@db2000...
> The reason for that was to avoid Magnus's (c) (ther is now an official
HTML
> RM that I will use to replace the current one on AdaPower that lacks his
> (c)). Steelman HTML was done by David Wheeler, I am sure there will not be
a
> problem copying it on to AdaPower.
>
That would be great. A link to the Ada83 Rational/LRM (on AdaIC, if I am not
mistaken) would conclude the documents I refer my students to.
--
Ehud Lamm mslamm@mscc.huji.ac.il
next prev parent reply other threads:[~2000-12-30 11:47 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 ` www.adahome.com? Ted Dennison
2000-12-29 19:51 ` www.adahome.com? David Botton
2000-12-30 11:47 ` Ehud Lamm [this message]
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