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

[David]

Revision: demexp--cduce--0.3--patch-7
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sat Feb  5 17:12:13 CET 2005
Standard-date: 2005-02-05 16:12:13 GMT
Modified-files: srv/xml.cd.nw srv/xml.mli.nw
New-patches: address@hidden/demexp--cduce--0.3--patch-7
Summary: include and update CDuce code to load XML demexp file
Keywords: server

* srv/Xml (both CDuce and interface):

  - add functions to load XML file;

  - cleanup: delete unused code and definitions;

  - Xml_version: restore initial Serge's definition, this one compiles
    on loading.