[Fwd: Re: [PPL-devel] Print functions in C interface]
Roberto Bagnara
bagnara at cs.unipr.it
Fri Feb 6 18:51:48 CET 2004
-------- Original Message --------
Subject: Re: [PPL-devel] Print functions in C interface
Date: Fri, 06 Feb 2004 12:18:36 -0500
From: Hosung Song <hosungs at umich.edu>
To: Roberto Bagnara <bagnara at cs.unipr.it>
References: <402003F9.6070208 at umich.edu> <4022131D.6090308 at cs.unipr.it> <402398E1.4040107 at cs.unipr.it>
Dear Professor Bagnara,
My enormous thanks for your highest level of support. I downloaded,
compiled, installed, and tested the snapshot with my current project,
and it just works fine as expected. I also subscribe to the lists, so
you don't have to send to my email address separately. Thanks again.
Best regards,
Hosung
Roberto Bagnara wrote:
> Roberto Bagnara wrote:
>
>> If you are willing to alpha-test the new C output functions, please
>> let us know: we will prepare a snapshot distribution you can play with.
>
>
> Dear Hosung,
>
> the snapshot is there anyway. If you want to take a look at the new
> C output functions point your browser to
>
> ftp://ftp.cs.unipr.it/pub/ppl/snapshots/
>
> and choose your favorite archive format.
> All the best,
>
> Roberto
>
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
More information about the PPL-devel
mailing list