Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
doc
org
ioltl.org
Find file
Blame
History
Permalink
org: minor tweaks
· cf9ad8eb
Alexandre Duret-Lutz
authored
Jan 11, 2017
* doc/org/ltlfilt.org: Update example. * doc/org/ioltl.org: Explain %s briefly.
cf9ad8eb