* doc/org/ltlfilt.org: Update example. * doc/org/ioltl.org: Explain %s briefly.
Attach a file by drag & drop or click to upload
Alexandre Duret-Lutz authored