-
Akim Demaille authored
* taf-kit/src/edition_commands.hxx: s/wrong/invalid/. * taf-kit/src/interface.cc: Idem. * taf-kit/src/common.hh (config/system.hh): Include it to define VAUCANSON. (GLOBAL_TIMER): New. (arguments_t): Provide a ctor. (arguments_t::report_time): New. * taf-kit/src/main.cc (timer): New. (options): Add --report-time. Use the anonymous namespace instead of static. Use the timer.
98c9926b