demexp-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Demexp-dev] Re: [Alain Frisch] [cduce-users] CDuce 0.3.0


From: David MENTRE
Subject: [Demexp-dev] Re: [Alain Frisch] [cduce-users] CDuce 0.3.0
Date: Wed, 09 Mar 2005 23:18:36 +0100
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux)

Hello Thomas,

Thomas Petazzoni <address@hidden> writes:

> Does DemExp already works with the new version of CDuce ?

Not yet. My own version of CDuce is 0.2.1. You made it work with 0.2.2.

There is now hurry. But I'll upgrade my version in the following days to
test with the latest stable release.

Yours,
d.
-- 
pub  1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A





reply via email to

[Prev in Thread] Current Thread [Next in Thread]