From: jerry@jvdsys.stuyts.nl (Jerry van Dijk)
Subject: Re: Beginner
Date: 1999/12/23
Date: 1999-12-23T00:00:00+00:00 [thread overview]
Message-ID: <945923915.10snx@jvdsys.stuyts.nl> (raw)
>> Note that I already did a texinfo conversion of the RM, and texi2html
>> produces a HTML version.
>
>Did you do so with some automated mean? It would be nice to get the
>annotations too.
Alas, no, I used a bunch of macro's for the editor I use.
--
--
-- Jerry van Dijk | email: jdijk@acm.org
-- Team-Ada | www: stad.dsl.nl/~jvandyk
-- Paris, France | Leiden, Holland
next reply other threads:[~1999-12-23 0:00 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-12-23 0:00 Jerry van Dijk [this message]
-- strict thread matches above, loose matches on Subject: below --
1999-12-22 0:00 Beginner Jerry van Dijk
[not found] <86puw1qq2m.fsf@ppp-159-176.villette.club-interne <945824412.9snx@jvdsys.stuyts.nl>
1999-12-21 0:00 ` Beginner Laurent Guerby
1999-12-19 0:00 Beginner David Freshwater
1999-12-19 0:00 ` Beginner Preben Randhol
1999-12-20 0:00 ` Beginner Clifford J. Nelson
1999-12-19 0:00 ` Beginner Marin D. Condic
1999-12-20 0:00 ` Beginner Robert Dewar
1999-12-20 0:00 ` Beginner Marin D. Condic
1999-12-20 0:00 ` Beginner Robert Dewar
1999-12-20 0:00 ` Beginner Ted Dennison
1999-12-20 0:00 ` Beginner Robert Dewar
1999-12-20 0:00 ` Beginner Ted Dennison
1999-12-20 0:00 ` Beginner Laurent Guerby
1999-12-20 0:00 ` Beginner David Botton
1999-12-20 0:00 ` Beginner David Botton
1999-12-21 0:00 ` Beginner Robert Dewar
1999-12-21 0:00 ` Beginner Laurent Guerby
1999-12-23 0:00 ` Beginner Robert Dewar
1999-12-21 0:00 ` Beginner Jean-Pierre Rosen
1999-12-22 0:00 ` Beginner Ted Dennison
1999-12-22 0:00 ` Beginner David Botton
1999-12-23 0:00 ` Beginner Robert Dewar
2000-01-10 0:00 ` Beginner John English
2000-01-10 0:00 ` Beginner Robert Dewar
2000-01-10 0:00 ` Beginner Ted Dennison
2000-01-10 0:00 ` Beginner Ted Dennison
2000-01-12 0:00 ` Beginner Marin D. Condic
2000-01-11 0:00 ` Beginner John English
1999-12-19 0:00 ` Beginner Robert Dewar
1997-05-31 0:00 Beginer Joja
1997-06-03 0:00 ` Beginner John Herro
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox