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

[David]

Revision: demexp--cduce--0.3--patch-1
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Jan 23 15:49:29 CET 2005
Standard-date: 2005-01-23 14:49:29 GMT
New-files: srv/.arch-ids/xml.cd.nw.id
    srv/.arch-ids/xml.mli.nw.id srv/xml.cd.nw srv/xml.mli.nw
Modified-files: Makefile srv/.arch-inventory
    srv/demexp-server-book.tex {arch}/=tagging-method
New-patches: address@hidden/demexp--cduce--0.3--patch-1
Summary: Integration of CDuce source file
Keywords: 

* Makefile: update of rules to compile this quite complex system.

* srv/xml.cd.nw: CDuce source file to manipulate XML.

* srv/xml.mli.nw: OCaml interface file for CDuce code.

* {arch}/=tagging-method: update to avoid taking generated CDuce files
  (.cd and .cdo) as source.

* srv/.arch-inventory: tla no longer sees demexp-server.static.