doc/org/dstar2tgba.org · fd16383e70a4400d1aa7dbc5c8fd892a31389754 · Spot / Spot · GitLab

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