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

Release Spot 0.6.

Browse source 
* NEWS, configure.ac: Bump version to 0.6.
This commit is contained in:
Alexandre Duret-Lutz 2010-04-16 09:39:52 +02:00
parent ce51ed3002
commit 02d01257ed
3 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
NEWS
View file

@ -1,4 +1,4 @@
New in spot 0.5a
New in spot 0.6 (16-04-2010):
* Several optimizations to improve some auxiliary steps
of the LTL translation (not the core of the translation):