-
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
* 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.