[Demexp-cvs] arch commit: demexp--cduce--0.3--patch-2

[David]

Revision: demexp--cduce--0.3--patch-2
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Mon Jan 31 22:16:25 CET 2005
Standard-date: 2005-01-31 21:16:25 GMT
Modified-files: srv/demexp-server-book.tex
    srv/demexp.dtd.nw srv/xml.cd.nw srv/xml.mli.nw
New-patches: address@hidden/demexp--cduce--0.3--patch-2
Summary: write documentation of CDuce XML write code 
Keywords: 

* srv/demexp-server-book.tex: add credits to Serge and Cduce. Move
  demexp DTD earlier in the book. Add a \todo{} marker (several \fixme
  should be changed in \todo).

* srv/xml.cd.nw: cut XML save CDuce code into small code chunks and add
  documentation. Rename some functions for better clarity. Code change:
  in Xml_participant and ocaml2xml_participants, a group is optional.

* srv/xml.mli.nw: update interface to reflect changes in xml.cd.