From: jan.de.kruyf@gmail.com
Subject: Re: BDD package in Ada.
Date: Thu, 9 Apr 2015 09:51:22 -0700 (PDT)
Date: 2015-04-09T09:51:22-07:00 [thread overview]
Message-ID: <c0be97fc-5ba3-4444-aae6-957551d65278@googlegroups.com> (raw)
In-Reply-To: <fe8a3d90-8317-4136-823a-76a59c1cab84@googlegroups.com>
On Wednesday, April 8, 2015 at 8:39:21 PM UTC+2, vincent....@gmail.com wrote:
>
> Thank you for the link. It sounds very interesting. Is it free to read it ?
> Kind regards,
>
> Vincent
Vincent,
I managed to make a pdf / dvi out of one of Knuths Literate Programming files.
http://www-cs-faculty.stanford.edu/~uno/programs.html#bdd12
if you want I can send it to you.
cheers,
j.
next prev parent reply other threads:[~2015-04-09 16:51 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-04-07 20:35 BDD package in Ada Vincent DIEMUNSCH
2015-04-08 6:38 ` Dmitry A. Kazakov
2015-04-08 7:44 ` Vincent DIEMUNSCH
2015-04-08 12:25 ` jan.de.kruyf
2015-04-08 18:39 ` vincent.diemunsch
2015-04-09 9:31 ` jan.de.kruyf
2015-04-09 16:51 ` jan.de.kruyf [this message]
2015-04-09 18:23 ` vincent.diemunsch
2015-04-08 21:30 ` Randy Brukardt
2015-04-08 23:40 ` Paul Rubin
2015-04-09 9:05 ` gautier_niouzes
2015-04-09 23:49 ` Randy Brukardt
2015-04-09 9:06 ` Georg Bauhaus
2015-04-09 9:29 ` Dmitry A. Kazakov
2015-04-10 0:05 ` Randy Brukardt
2015-04-08 21:20 ` Randy Brukardt
2015-04-08 18:27 ` Per Sandberg
2015-04-09 15:24 ` Paul Rubin
2015-04-09 20:02 ` vincent.diemunsch
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox