alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

org: more typos

Browse source 
* doc/org/setup.org: Fix link to tarball.
* doc/org/ltlcross.org: Missing s.
This commit is contained in:
Alexandre Duret-Lutz 2015-07-17 10:06:49 +02:00
parent da0f863d64
commit c9109335b3
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/org/ltlcross.org
View file

@ -112,7 +112,7 @@ No problem detected.
should also be indicated using =%O=.
- [[http://www.ltl2dstar.de/docs/ltl2dstar.html][=ltl2dstar='s format]], which supports deterministic Rabin or Streett
automata. After =ltlcross= reads such input, it immediately
convert it into a Büchi automaton. Rabin automata are converted
converts it into a Büchi automaton. Rabin automata are converted
to (degeneralized) Büchi automata and the conversion will preserve
the determinism anytime a deterministic Büchi automaton exists for
that property (this determinism is good for the complemented