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

* NEWS: Add missing dates.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-01-20 14:17:53 +01:00
parent bc66974bf2
commit 4b5734d8ec
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NEWS
View file

@ -2,7 +2,7 @@ New in spot 0.8.2a:
Nothing yet.
New in spot 0.8.2:
New in spot 0.8.2 (2012-01-19):
* configure now has a --disable-python option to disable
the compilation of Python bindings.
@ -22,7 +22,7 @@ New in spot 0.8.2:
- Fix compilation with g++ 4.0.
- Fix a make check failure when valgrind is missing.
New in spot 0.8.1:
New in spot 0.8.1 (2011-12-18):
* Only bug fixes:
- When ltl2tgba is set to perform both WDBA minimization and