-
Alexandre Duret-Lutz authored
This was prompted by an exchange of emails with Caroline Lemieux. * src/bin/man/ltl2tgba.x: Add notes and references. * NEWS, THANKS: Update.
e5124faa
This was prompted by an exchange of emails with Caroline Lemieux. * src/bin/man/ltl2tgba.x: Add notes and references. * NEWS, THANKS: Update.