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

* NEWS: Fix non-existent address

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2019-04-02 15:50:59 +02:00
parent d49dbf8ae6
commit 2ccfba906c
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

@ -4211,7 +4211,7 @@ New in spot 1.0 (2012-10-27):
output more statistics. output more statistics.
An introduction to these tools can be found on-line at An introduction to these tools can be found on-line at
http://spot.lrde.lip6.fr/tools.html http://spot.lrde.epita.fr/tools.html
The former test versions of genltl and randltl have been removed The former test versions of genltl and randltl have been removed
from the source tree. The old version of ltl2tgba with its from the source tree. The old version of ltl2tgba with its