Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
doc
org
ltlcross.org
Find file
Blame
History
Permalink
org: ltlcross supports any acceptance condition
· 34ac6f08
Alexandre Duret-Lutz
authored
Dec 22, 2016
* doc/org/ltlcross.org: Also fix the documentation of terminal and weak SCCs.
34ac6f08