• Florian Lesaint's avatar
    Use "weightOpening" instead of "openWeight". · d50e7c58
    Florian Lesaint authored
    Since we never "open" a weight, we just use a symbol to say where is
    the weight: it's a "weight opening symbol".
    Same for weightClosing.
      * data/vaucanson.xsd: Here.
      * include/vaucanson/xml/xmleq.hxx: Here.
To find the state of this project's repository at the time of any of these versions, check out the tags.