Skip to content
  • 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.
    d50e7c58