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

Release Spot 2.9.4

Browse source 
* NEWS, configure.ac, doc/org/setup.org: Bump to version 2.9.4.
This commit is contained in:
Alexandre Duret-Lutz 2020-09-07 10:50:01 +02:00
parent b0f8170055
commit b956bfe90f
3 changed files with 10 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

6
NEWS
View file

@ -1,9 +1,11 @@
New in spot 2.9.3.dev (not yet released)
New in spot 2.9.4 (2020-09-07)
Bugs fixed:
- Handle xor and <-> in a more natural way when translating
LTL formulas to generic acceptancee conditions.
LTL formulas to generic acceptance conditions.
- Multiple typos in documentation, --help texts, or error messages.
New in spot 2.9.3 (2020-07-22)