-
Florent Terrones authored
Add an xml format for a label node, part I. * src/vaucanson.xml: Add content for a label node. * include/vaucanson/xml/tools.hxx: Change the parsing of the XML input so as to correctly read a label written as a node.
e870800d