Skip to content
  • Alexandre Duret-Lutz's avatar
    Use alphabet {0,1} for c1.xml. · 63a71658
    Alexandre Duret-Lutz authored
    * data/automata/char-z/c1.cc: Rewrite using alphabet {0,1} instead
    of {a,b}.
    * taf-kit/tests/vcsn-char-z.test: Adjust test.
    * doc/manual/taf-kit-manual.tex (c1.xml): Adjust and document
    the figure.
    63a71658