|
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
[Prev in Thread] | Current Thread | [Next in Thread] |