Encapsulate serialization results around with <xml_result>...</xml_result>
authorKim Nguyễn <kn@lri.fr>
Thu, 12 Apr 2012 16:08:18 +0000 (18:08 +0200)
committerKim Nguyễn <kn@lri.fr>
Thu, 12 Apr 2012 16:08:18 +0000 (18:08 +0200)
commit577e04ded43baa0582530316da40777884031dc8
treedab363bf2838a4ac0d172d6b0d95112eec425f92
parent1e5a0a6e72f96cf139b6da5511fab850f5da5b84
Encapsulate serialization results around with <xml_result>...</xml_result>
src/nodeSet.ml