Re: [Demexp-dev] Start of code for the server

[David MENTRE]

David MENTRE <address@hidden> writes:

> I've continued today to code the demexp code related to the server (srv/
> subdirectory) and the make infrastructure.

A forgotten point: Isa, I haven't yet integrated your code. I glanced
through it and I have small remarks. But most importantly, I would
prefer to integrate a modularized code, not the big file which exists
right now.

Isa, can you also take a look at the server code (.ml.nw) files? I think
it would be nice to put your interface in the same literate programming
form (i.e. .nw files). What do you think of it? If you agree, I'll add
minimal noweb tags. You'll have time then to add necessary comments if
needed.


Yours,
d.
-- 
 David Mentré <address@hidden>
   http://www.linux-france.org/~dmentre/david-mentre-public-key.asc
 GnuPG key fingerprint: A7CD 7357 3EC4 1163 745B  7FD3 FB3E AD7C 2A18 BE9E