• Alexandre Duret-Lutz's avatar
    print_hoa: add option "k" · 745fda1a
    Alexandre Duret-Lutz authored
    * src/twaalgos/hoa.cc, src/twaalgos/hoa.hh: Implement it.
    * NEWS, doc/org/hoa.org, src/bin/common_aoutput.cc: Document it.
    * src/tests/readsave.test: Test it.
    745fda1a