demexp-dev
[Top][All Lists]
Advanced

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

Re: [Demexp-dev] DemExp 0.4 compilation issue with CDuce 0.3.9


From: David MENTRE
Subject: Re: [Demexp-dev] DemExp 0.4 compilation issue with CDuce 0.3.9
Date: Thu, 14 Jul 2005 20:45:01 +0200
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.4 (gnu/linux)

David MENTRE <address@hidden> writes:

> Which process is calling "./cdo2ml"? cduce?

Ok, I've seen your post en CDuce mailing list. This cduce which is
calling cdo2ml. Quite strange indeed.

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]