[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-dev] Re: Interface between OCaml and Cduce
From: |
David MENTRE |
Subject: |
[Demexp-dev] Re: Interface between OCaml and Cduce |
Date: |
Wed, 08 Dec 2004 19:44:12 +0100 |
User-agent: |
Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) |
Hello Serge,
Serge Leblanc <address@hidden> writes:
> Here a patch.
As a general remark, I prefer much "diff -u" for patches, it makes them
more readable.
Thanks for the patch.
Yours,
d.
--
pub 1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A