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

* NEWS: Typo in date.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-05-07 14:45:28 +02:00
parent b9afd8e705
commit 70e3e2cd04
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

@ -179,7 +179,7 @@ New in spot 0.8 (2011-11-28):
#define x flag==0 #define x flag==0
because !x then evaluated to (!flag)==0 instead of !(flag==0). because !x then evaluated to (!flag)==0 instead of !(flag==0).
New in spot 0.7.1 (2001-02-07): New in spot 0.7.1 (2011-02-07):
* The LTL parser will accept operator ~ (for not) as well * The LTL parser will accept operator ~ (for not) as well
as --> and <--> (for implication and equivalence), allowing as --> and <--> (for implication and equivalence), allowing