-
Maximilien Colange authored
closes #355 * doc/org/citing.org, bin/man/ltlsynt.x: add SYNT2018 paper * doc/org/ltlsynt.org: fix documentation
f2128360
closes #355 * doc/org/citing.org, bin/man/ltlsynt.x: add SYNT2018 paper * doc/org/ltlsynt.org: fix documentation