Re: [Demexp-dev] Some questions about the code.

[Serge Leblanc]

On Sun, 2004-10-24 at 21:26 +0200, David MENTRE wrote:

> But, once again, I prefer doing the XML stuff right now. I though you
> were interested in it?
As I had said in my preceding messages I would help you of my better.

Concerning XML there is no problem, I need only the mli file of the functions ocaml<->cduce which you wishes to have. I deal with the writing of these.

The functions ocaml-cduce can be gathered in "ioxml.cd" file.

--
pub  1024D/73791C2B 2002-09-30 Serge Leblanc <address@hidden>
 Primary key fingerprint: 8E0C 0D6D E026 A278 9278  BF4F 1A93 D552 7379 1C2B

signature.asc
Description: This is a digitally signed message part