[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--cduce--0.3--patch-7
From: |
David |
Subject: |
[Demexp-cvs] arch commit: demexp--cduce--0.3--patch-7 |
Date: |
Sat, 05 Feb 2005 17:12:33 +0100 |
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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--cduce--0.3--patch-7,
David <=