wrap/python/spot.i · b42cdc0d8f05553a924143bccb0e7438533884b0 · Spot / Spot · GitLab

Find file Blame History Permalink

* wrap/python/spot.i: Process tgbaalgos/neverclaim.hh. · 0c3d4fef
Alexandre Duret-Lutz authored Apr 21, 2004
```
* wrap/python/cgi/ltl2tgba.in: Display the never claim on demand.
```
0c3d4fef