-
Alexandre GBAGUIDI AISSE authored
* NEWS: Declare new options. * bin/common_output.cc: Add new options. * bin/common_output.hh: Add new options. * bin/genltl.cc: Update. * bin/ltlfilt.cc: Update. * bin/ltlgrind.cc: Update. * bin/randltl.cc: Update.
8cf54264