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

[David]

Revision: demexp--cduce--0.3--patch-3
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Wed Feb  2 22:21:01 CET 2005
Standard-date: 2005-02-02 21:21:01 GMT
Modified-files: Makefile srv/demexp-server-book.tex
    srv/demexp-server.ml.nw srv/id.ml.nw srv/io.ml.nw
    srv/participants.ml.nw srv/work.ml.nw srv/xml.cd.nw
    srv/xml.mli.nw
New-patches: address@hidden/demexp--cduce--0.3--patch-3
Summary: 
Keywords: 

* Makefile: update it to keep the order of .ml, .cd and .mli files from
  server sources when generating lists of cmx and cmo files. Otherwise,
  the OCaml code cannot link with generated CDuce module. Redorder
  server source file in order to call Io from Work.

* srv/xml.mli.nw, srv/xml.cd.nw: minor doc updates. The CDuce code now
  uses lists instead of arrays.

* srv/Id: add a new function iter.

* srv/Work: add save points in RPC callbacks modifying bases.

* srv/Io: new function to save bases in XML format. Currently saves only
  tags and participants.

* srv/Participants: update function details_of_id to return participant
  kind.