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

* NEWS: Typo in release date.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2018-10-17 14:16:55 +02:00
parent 235508416c
commit b8e47fdc28
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
NEWS
View file

@ -65,7 +65,7 @@ New in spot 2.6.3.dev (not yet released)
used to check whether a formula or an automaton represents a
liveness property.
New in spot 2.6.3 (2019-10-17)
New in spot 2.6.3 (2018-10-17)
Bugs fixed: