-
Alexandre Duret-Lutz authored
* bin/genltl.cc: Change the name and add the bibtex entry. * bin/man/genltl.x: Replace LNCS by LNAI. * tests/core/genltl.test: Also test the %F output.
1c96afb1
* bin/genltl.cc: Change the name and add the bibtex entry. * bin/man/genltl.x: Replace LNCS by LNAI. * tests/core/genltl.test: Also test the %F output.