Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
doc
org
satmin.org
Find file
Blame
History
Permalink
org: simplify the calls to ltl2dstar
· fd16383e
Alexandre Duret-Lutz
authored
Jul 17, 2015
* doc/org/dstar2tgba.org, doc/org/satmin.org: Here.
fd16383e