Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bin
genltl.cc
Find file
Blame
History
Permalink
genltl: typos and shorter descriptions
· a14abf27
Alexandre Duret-Lutz
authored
Feb 17, 2017
* bin/genltl.cc: Shorten the descriptions of the three new LTL families. * NEWS: Mention those.
a14abf27